]> matita.cs.unibo.it Git - helm.git/commit
added filtering criteria on differences between number of constants in
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Apr 2005 08:34:45 +0000 (08:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Apr 2005 08:34:45 +0000 (08:34 +0000)
commit20054808327ccec9d018b8cc54b31ccb44724f49
tree78d3dca6a51b3b766fb405da641994f59b6cf166
parent3feb47fdb6a5060b3b68f9fe435a17a2b9920f52
added filtering criteria on differences between number of constants in
hypothesis and conclusion, should handle better queries on terms with
metavariables
helm/ocaml/metadata/metadataConstraints.ml
helm/ocaml/metadata/metadataConstraints.mli
helm/ocaml/metadata/metadataDb.ml
helm/ocaml/metadata/metadataExtractor.ml
helm/ocaml/metadata/metadataExtractor.mli
helm/ocaml/metadata/metadataTypes.ml
helm/ocaml/metadata/metadataTypes.mli