Hets - the Heterogeneous Tool Set

Copyright(c) Klaus Luettich, Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

SoftFOL.Morphism

Description

Functions for symbols of SoftFOL.

Documentation