Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski and Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CASL2CoCASL

Description

The embedding comorphism from CASL to CoCASL.

Synopsis

Documentation

data CASL2CoCASL Source #

The identity of the comorphism

Constructors

CASL2CoCASL 

Instances

Show CASL2CoCASL Source # 

Methods

showsPrec :: Int -> CASL2CoCASL -> ShowS

show :: CASL2CoCASL -> String

showList :: [CASL2CoCASL] -> ShowS

Language CASL2CoCASL Source # 
Comorphism CASL2CoCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () Source #