| Copyright | (c) Klaus Luettich and Uni Bremen 2005 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
Comorphisms.SuleCFOL2SoftFOL
Description
The translating comorphism from a CASL subset to SoftFOL.
Documentation
suleCFOL2SoftFOL :: GenSuleCFOL2SoftFOL PlainSoftFOL
suleCFOL2SoftFOLInduction :: GenSuleCFOL2SoftFOL SoftFOLInduction
suleCFOL2SoftFOLInduction2 :: GenSuleCFOL2SoftFOL SoftFOLInduction2