Hets - the Heterogeneous Tool Set

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

Proofs.HideTheoremShift

Description

hide theorem shift proof rule for development graphs Follows Sect. IV:4.4 of the CASL Reference Manual.

Documentation

interactiveHideTheoremShift :: LibName -> LibEnv -> IO LibEnv

automaticHideTheoremShift :: LibName -> LibEnv -> LibEnv

automaticHideTheoremShiftFromList :: LibName -> [LEdge DGLinkLab] -> LibEnv -> LibEnv