]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 218a5af) | patch
Added a clear to rewritestep to speed up auto (by removing an hypothesis
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Nov 2006 18:57:26 +0000 (18:57 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Nov 2006 18:57:26 +0000 (18:57 +0000)
commit18c16056c2858405c899ab027ec7e7ba2cc967b4
treeacd6fe290296e228f3d5f815279ffddf40480c5etree | snapshot
parent218a5af368cb7ea58c59cad2e7c8ef1f733792c2commit | diff
Added a clear to rewritestep to speed up auto (by removing an hypothesis
that must NOT be used again).
components/tactics/declarative.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.