Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder DFKI 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.PCoClTyConsHOL2PairsInIsaHOL

Description

An embedding comorphism from HasCASL without subtypes to Isabelle-HOL.

Synopsis

Documentation

data PCoClTyConsHOL2PairsInIsaHOL Source #

The identity of the comorphism

Instances

Show PCoClTyConsHOL2PairsInIsaHOL Source # 
Language PCoClTyConsHOL2PairsInIsaHOL Source # 
Comorphism PCoClTyConsHOL2PairsInIsaHOL HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Isabelle () () Sentence () () Sign IsabelleMorphism () () () Source #