]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06fb369) | patch
Added a callback to the generalize tactic to generate a fresh name.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 29 Jan 2003 17:02:40 +0000 (17:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 29 Jan 2003 17:02:40 +0000 (17:02 +0000)
commit26ba7a9eb493528432f73b990eb7e9c17f16e1b8
tree8cc0d663e47f53a53345573144e49335c580c97btree | snapshot
parent06fb3694ba485d761586c1a90f97f15b8915a277commit | diff
Added a callback to the generalize tactic to generate a fresh name.
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/proofEngine.ml diff | blob | history
helm/gTopLevel/proofEngine.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.