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

data CASL_DL2CASL Source #

Constructors

CASL_DL2CASL 

Instances

Show CASL_DL2CASL Source # 

Methods

showsPrec :: Int -> CASL_DL2CASL -> ShowS

show :: CASL_DL2CASL -> String

showList :: [CASL_DL2CASL] -> ShowS

Language CASL_DL2CASL Source # 
Comorphism CASL_DL2CASL CASL_DL CASL_DL_SL DL_BASIC_SPEC DLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS DLSign DLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #