Hets - the Heterogeneous Tool Set
Copyright(c) Jorina F. Gerken Mossakowski Luettich Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(Logic)
Safe HaskellNone

Proofs.Automatic

Description

automatic proofs in development graphs. Follows Sect. IV:4.4 of the CASL Reference Manual.

Synopsis

Documentation

automatic :: LibName -> LibEnv -> LibEnv Source #

automatically applies all rules to the library denoted by the library name of the given proofstatus

automaticFromList :: LibName -> [LEdge DGLinkLab] -> LibEnv -> LibEnv Source #