Hets - the Heterogeneous Tool Set

Copyright(c) J. von Schroeder DFKI Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJ. von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.THFP_P2THFP

Description

The comorphism from THFP to THF0.

Documentation

data THFP_P2THFP Source #

Constructors

THFP_P2THFP 

Instances

Show THFP_P2THFP Source # 

Methods

showsPrec :: Int -> THFP_P2THFP -> ShowS

show :: THFP_P2THFP -> String

showList :: [THFP_P2THFP] -> ShowS

Language THFP_P2THFP Source # 
Comorphism THFP_P2THFP THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree Source #