Hets - the Heterogeneous Tool Set

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

Comorphisms.CoCFOL2IsabelleHOL

Description

The embedding comorphism from CoCASL to Isabelle-HOL.

Synopsis

Documentation

data CoCFOL2IsabelleHOL Source #

The identity of the comorphism

Constructors

CoCFOL2IsabelleHOL 

Instances

Show CoCFOL2IsabelleHOL Source # 

Methods

showsPrec :: Int -> CoCFOL2IsabelleHOL -> ShowS

show :: CoCFOL2IsabelleHOL -> String

showList :: [CoCFOL2IsabelleHOL] -> ShowS

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