Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa and Uni Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
Maintainereugenk@informatik.uni-bremen.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.SoftFOL2CommonLogic

Description

The translating comorphism from SoftFOL to CommonLogic.

Synopsis

Documentation