Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa and Till Mossakowksi
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerkuksa@iks.cs.ovgu.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.SuleCFOL2TPTP

Description

The translating comorphism from a CASL subset to TPTP.

Documentation

suleCFOL2TPTP :: GenSuleCFOL2TPTP Source #