]> matita.cs.unibo.it Git - helm.git/commit
change code moved to change_tac (functional version defined in primitiveTactics)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Sep 2002 17:30:57 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Sep 2002 17:30:57 +0000 (17:30 +0000)
commitd5c0d882413668e6569df55f501efe92cf3bf100
tree4291e98c6d8bfdf01af5c265f9d2ae7be49146cc
parent4f195220f9e7ee0fcb0de4d78a3e5817b70ea803
change code moved to change_tac (functional version defined in primitiveTactics)
helm/gTopLevel/primitiveTactics.ml
helm/gTopLevel/primitiveTactics.mli
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/proofEngine.mli