]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 911199d) | patch
Added an almost working version of Generalize tactic.
authorMichele Galatà <??>
Thu, 12 Dec 2002 15:22:09 +0000 (15:22 +0000)
committerMichele Galatà <??>
Thu, 12 Dec 2002 15:22:09 +0000 (15:22 +0000)
commit52e8395bd1cf23f6bad6be55b406a526ecf3ac11
treecb1e8c9f612ee5fdd9efdd3faed4254b78be7d4atree | snapshot
parent911199dc198f34ae6a024d81ff62c78e2e97f7dbcommit | diff
Added an almost working version of Generalize tactic.
Added yet another version of replace, useful in Generalize.
helm/gTopLevel/proofEngineReduction.ml diff | blob | history
helm/gTopLevel/proofEngineReduction.mli diff | blob | history
helm/gTopLevel/variousTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.