| Copyright | (c) Jorina F. Gerken, Till Mossakowski, Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(Logic) |
| Safe Haskell | None |
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