{- |

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"