Hets - the Heterogeneous Tool Set

Copyright(c) Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (via Logic.Logic)
Safe HaskellNone

Comorphisms.CASL_DL2CASL

Description

 

Documentation