Copyright	(c) Stef Joosten, Christian Maeder DFKI GmbH 2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable (import Logic.Logic)
Safe Haskell	None

Adl.Logic_Adl

Description

Documentation

data Adl

Constructors

Instances

Show Adl
Language Adl
Sentences Adl Sen Sign Morphism Symbol
Syntax Adl Context Symbol () ()
StaticAnalysis Adl Context Sen () () Sign Morphism Symbol RawSymbol
Logic Adl () Context Sen () () Sign Morphism Symbol RawSymbol ProofTree
Comorphism Adl2CASL Adl () Context Sen () () Sign Morphism Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree