| Copyright | (c) Klaus Luettich, Uni Bremen 2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL_DL.Logic_CASL_DL
Description
Instance of class Logic for CASL DL
Documentation
data CASL_DL
Constructors
| CASL_DL |
Instances
type DLMor = Morphism DL_FORMULA CASL_DLSign (DefMorExt CASL_DLSign)
type DLFORMULA = FORMULA DL_FORMULA