Copyright	(c) Till Mossakowski and Uni Bremen 2003-2005
License	GPLv2 or higher, see LICENSE.txt
Maintainer	hausmann@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable (imports Logic.Logic)
Safe Haskell	None

Comorphisms.CoCFOL2IsabelleHOL

Description

The embedding comorphism from CoCASL to Isabelle-HOL.

Synopsis

Documentation

The identity of the comorphism

Constructors

Instances

Show CoCFOL2IsabelleHOL
Language CoCFOL2IsabelleHOL
Comorphism CoCFOL2IsabelleHOL CoCASL CoCASL_Sublogics C_BASIC_SPEC CoCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CSign CoCASLMor Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () ()