Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable (except HasCASL.Logic_HasCASL)
Safe HaskellSafe

HasCASL

Description

This folder contains the files for HasCASL basic specs