Hets - the Heterogeneous Tool Set

Copyright	(c) A. Tsogias DFKI Bremen 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Alexis.Tsogias@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

THF.HasCASL2THF0Buildins

Description

translations for the buildins of HasCasl

Documentation

preDefHCAssumps :: Set Id -> ConstMap Source #

o1ci :: Constant -> ConstInfo Source #

o2ci :: Constant -> ConstInfo Source #

o3ci :: Constant -> ConstInfo Source #

a2o1ci :: Constant -> ConstInfo Source #

resci :: Constant -> ConstInfo Source #

botci :: Constant -> ConstInfo Source #

defci :: Constant -> ConstInfo Source #

preDefAxioms :: Set Id -> [Named THFFormula] Source #

mkNSD :: Constant -> (Constant -> String) -> Named THFFormula Source #

genTHFFormula :: Constant -> (Constant -> String) -> THFFormula Source #

notFS :: Constant -> String Source #

falseFS :: Constant -> String Source #

trueFS :: Constant -> String Source #

andFS :: Constant -> String Source #

orFS :: Constant -> String Source #

eqvFS :: Constant -> String Source #

implFS :: Constant -> String Source #

ifFS :: Constant -> String Source #

resFS :: Constant -> String Source #

botFS :: Constant -> String Source #

defFS :: Constant -> String Source #

defnS :: String Source #

encTHF :: String -> String Source #