| Copyright | (c) Hendrik Iben, Uni Bremen 2005-2007 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | hiben@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable |
| Safe Haskell | None |
OMDoc.Logic_OMDoc
Description
Logic and related instances for OMDoc.
Documentation
data OMDoc_PUN
Constructors
| OMDoc_PUN |
Instances
| Show OMDoc_PUN | |
| Language OMDoc_PUN | |
| Sentences OMDoc_PUN () OMDoc_Sign OMDoc_Morphism Symbol | |
| Syntax OMDoc_PUN () Symbol () () | |
| StaticAnalysis OMDoc_PUN () () () () OMDoc_Sign OMDoc_Morphism Symbol () | |
| Logic OMDoc_PUN () () () () () OMDoc_Sign OMDoc_Morphism Symbol () () |
type OMDoc_Sign = Theory
type OMDoc_Morphism = (Inclusion, Theory, Theory)