Copyright | (c) Till Mossakowski, Wiebke Herding, C. Maeder, Uni Bremen 2004 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Parser for modal logic extension of CASL
Documentation
modalFormula :: AParser st M_FORMULA
rigidSigItems :: AParser st M_SIG_ITEM
mBasic :: AParser st M_BASIC_ITEM