]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2005480) | patch
uses new at_least with criteria on constants number difference
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Apr 2005 08:35:21 +0000 (08:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Apr 2005 08:35:21 +0000 (08:35 +0000)
commitecd70e5517095820fad8e4fde6f6424617ac5d44
tree274199af7def9b9fee54835a03db46663e2cc067tree | snapshot
parent20054808327ccec9d018b8cc54b31ccb44724f49commit | diff
uses new at_least with criteria on constants number difference
helm/ocaml/tactics/metadataQuery.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.