Hets - the Heterogeneous Tool Set

Copyright(c) Iulia Ignatov, DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintaineri.ignatov@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

CommonLogic.OMDoc

Description

Library of Common Logic specific OMDoc constants.

Documentation

clMetaTheory :: OMCD

const_cl :: String -> OMElement

const_symbol :: OMElement

const_that :: OMElement

const_comment_term :: OMElement

const_irregular :: OMElement

const_comment :: OMElement

const_eq :: OMElement

const_equivalent :: OMElement

const_implies :: OMElement

const_not :: OMElement

const_or :: OMElement

const_and :: OMElement

const_moduleExcludes :: OMElement

const_textName :: OMElement

const_module :: OMElement

const_exists :: OMElement

const_forall :: OMElement