Copyright	(c) Eugen Kuksa University of Magdeburg 2017
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Eugen Kuksa <kuksa@iks.cs.ovgu.de>
Stability	provisional
Portability	non-portable (imports Logic)
Safe Haskell	None

TPTP.Morphism.Sentence

Description

Symbol-related functions for TPTP.

Documentation