Copyright	(c) Mihai Codescu DFKI GmbH 2010
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Mihai.Codescu@dfki.de
Stability	provisional
Portability	non-portable(Logic)
Safe Haskell	None

Proofs.Freeness

Description

compute normal forms

Documentation