]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d44fa1) | patch
Reduction tactics in the scratch window implemented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Apr 2002 11:13:49 +0000 (11:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Apr 2002 11:13:49 +0000 (11:13 +0000)
commita3ea60dba4a46e32ab70a0ebda36367a8186a59f
treeec7bb8c71c3a65ceb92db3c49dcf560cd4d9b190tree | snapshot
parent7d44fa19cb262a8180a9e48d210311bf0732dbb3commit | diff
Reduction tactics in the scratch window implemented.
NOTE: if you select an hypothesis and you apply a reduction tactic, nothing
 will happen and no error message will be reported!
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/proofEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.