Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich and Uni Bremen 2005
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.SuleCFOL2SoftFOL

Description

The translating comorphism from a CASL subset to SoftFOL.

Documentation

suleCFOL2SoftFOL :: GenSuleCFOL2SoftFOL PlainSoftFOL Source #

suleCFOL2SoftFOLInduction :: GenSuleCFOL2SoftFOL SoftFOLInduction Source #

suleCFOL2SoftFOLInduction2 :: GenSuleCFOL2SoftFOL SoftFOLInduction2 Source #