]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52e8395) | patch
Added an almost working version of Generalize tactic.
authorMichele Galatà <??>
Thu, 12 Dec 2002 15:36:00 +0000 (15:36 +0000)
committerMichele Galatà <??>
Thu, 12 Dec 2002 15:36:00 +0000 (15:36 +0000)
commit700e8726d8b97f923ed7e02f1146a9787bde2333
tree1df20584badbd6fe228836b6be7b48904a486b0ctree | snapshot
parent52e8395bd1cf23f6bad6be55b406a526ecf3ac11commit | diff
Added an almost working version of Generalize tactic.
helm/gTopLevel/variousTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.