]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0f2a7d) | patch
atmost/atleast/exactly constraints are now used only for the "hint" method.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jun 2004 17:47:01 +0000 (17:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jun 2004 17:47:01 +0000 (17:47 +0000)
commit5002153c1f53bffc0a200a88980ad99b1d756703
tree78664ff7f0764c6fd04f6571837104c2182a04betree | snapshot
parenta0f2a7d4b328e5a621a5d62f474e5d552587d72fcommit | diff
atmost/atleast/exactly constraints are now used only for the "hint" method.
They are no longer used for "match" and "elim".
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.