]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7c35c2) | patch
changed META dependency
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Nov 2005 10:30:33 +0000 (10:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 25 Nov 2005 10:30:33 +0000 (10:30 +0000)
commitd065a590ca5c4aec5ab505f2cf9e295e6c900942
treeaf1cd5ed69af754a3fbc176f32b5e36401e89b9ftree | snapshot
parentc7c35c264daa79f18575ad4acaf5d2a5f04b4786commit | diff
changed META dependency
- disambiguation should (and actually does) depend only on acic_content
- paramodulation does not need disambiguation! (except for a test)
helm/ocaml/METAS/meta.helm-cic_disambiguation.src diff | blob | history
helm/ocaml/METAS/meta.helm-paramodulation.src diff | blob | history
helm/ocaml/cic_disambiguation/disambiguate.ml diff | blob | history
helm/ocaml/cic_disambiguation/disambiguate.mli diff | blob | history
helm/ocaml/paramodulation/Makefile diff | blob | history
helm/ocaml/paramodulation/saturate_main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.