{- |
Module : ./CommonLogic/OMDoc.hs
Description : Common Logic specific OMDoc constants
Copyright : (c) Iulia Ignatov, DFKI Bremen 2010
License : GPLv2 or higher, see LICENSE.txt
Maintainer : i.ignatov@jacobs-university.de
Stability : experimental
Portability : portable
Library of Common Logic specific OMDoc constants.
-}
module CommonLogic.OMDoc where
import OMDoc.DataTypes
clMetaTheory :: OMCD
clMetaTheory =
CD ["commonlogic", "http://cds.omdoc.org/logics/commonlogic.omdoc"]
const_cl :: String -> OMElement
const_cl n = OMS (clMetaTheory, mkSimpleName n)
const_symbol, const_forall, const_exists, const_module, const_textName
, const_moduleExcludes, const_and, const_or
, const_not, const_implies, const_equivalent, const_eq, const_comment
, const_irregular, const_comment_term, const_that :: OMElement
const_symbol = const_cl "symbol"
const_forall = const_cl "forall"
const_exists = const_cl "exists"
const_module = const_cl "module"
const_textName = const_cl "text_name"
const_moduleExcludes = const_cl "module_excludes"
const_and = const_cl "and"
const_or = const_cl "or"
const_not = const_cl "not"
const_implies = const_cl "implies"
const_equivalent = const_cl "equivalent"
const_eq = const_cl "eq"
const_comment = const_cl "comment"
const_irregular = const_cl "irregular"
const_comment_term = const_cl "comment_term"
const_that = const_cl "that"