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

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