]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf40c37) | patch
The fix and cofix cases of the select were not finished. Done.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Jul 2005 09:19:06 +0000 (09:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Jul 2005 09:19:06 +0000 (09:19 +0000)
commit892abe32cb524599439741585f8fe502615ff23e
treebd79f27ec4396735e6ddcbe1aa42513b21c487b7tree | snapshot
parentbf40c378bd2c624405be2118a478a0734eb8d3aacommit | diff
The fix and cofix cases of the select were not finished. Done.
helm/ocaml/tactics/proofEngineHelpers.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.