Hets - the Heterogeneous Tool Set

Copyright(c) A. Tsogias DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

THF.HasCASL2THF0Buildins

Description

translations for the buildins of HasCasl

Documentation

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 #