Hets - the Heterogeneous Tool Set

Copyright(c) T.Mossakowski, W.Herding, C.Maeder, Uni Bremen 2004-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Hybrid.AS_Hybrid

Description

Abstract syntax for hybrid logic extension of CASL Only the added syntax is specified

Documentation