]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4a7a57) | patch
written a new sort function to postpone the resolution of some types of the goals
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Tue, 25 May 2004 07:07:19 +0000 (07:07 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Tue, 25 May 2004 07:07:19 +0000 (07:07 +0000)
commit32a45f819c88c73487ea42a15e7391169ad14db2
tree17e1250db73175e4dde341df709336e4735792cftree | snapshot
parentb4a7a577a04c56a68b6d79d06fdb925ff0bbd331commit | diff
written a new sort function to postpone the resolution of some types of the goals
helm/ocaml/tactics/tacticChaser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.