Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski, Uni Bremen 2002-2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Comorphisms.CoCASL2CoPCFOL

Description

Coding out subsorting, lifted tot eh level of CoCASL

Synopsis

Documentation