]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b5b254) | patch
added rating parameter to at_least (used by elim)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Apr 2005 08:04:17 +0000 (08:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Apr 2005 08:04:17 +0000 (08:04 +0000)
commit71b71ad9ccda0f26a25f3a5ad7e1697025d207a9
tree5ce2cf38723d98a62c8d2921dfe87a64bae8afdatree | snapshot
parent3b5b254f2faa600a14a837e95f94f953dc9959c7commit | diff
added rating parameter to at_least (used by elim)
helm/ocaml/metadata/.depend diff | blob | history
helm/ocaml/metadata/metadataConstraints.ml diff | blob | history
helm/ocaml/metadata/metadataConstraints.mli diff | blob | history
helm/ocaml/tactics/metadataQuery.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.