Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Proofs.NormalForm

Description

compute normal forms

Synopsis

Documentation

normalFormLibEnv :: LibEnv -> Result LibEnv Source #

compute norm form for all libraries

normalForm :: LibName -> LibEnv -> Result LibEnv Source #

compute normal form for a library and imported libs

normalFormRule :: DGRule Source #