content: {- |
  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"
  