Copyright	(c) Christian Maeder, Uni Bremen 2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

Comorphisms.HasCASL2HasCASL

Description

translate HasCASL formulas to HasCASL program equations

Synopsis

Documentation

The identity of the comorphism

Constructors

Show HasCASL2HasCASL
Language HasCASL2HasCASL
Comorphism HasCASL2HasCASL HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol ()