]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d928eba) | patch
fixed bugs in Indexing.find_matches and Saturation.apply_equality_to_goal
authorAlberto Griggio <griggio@fbk.eu>
Tue, 11 Oct 2005 15:10:22 +0000 (15:10 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Tue, 11 Oct 2005 15:10:22 +0000 (15:10 +0000)
commit439cb54c906ae03dc5f88e907ce2577fe5d6fcf7
treece1dbee7b2ae608adf47cea293be123998f3bf90tree | snapshot
parentd928ebab750b6ac49b3ae97e2f9d1634c18a43facommit | diff
fixed bugs in Indexing.find_matches and Saturation.apply_equality_to_goal
helm/ocaml/paramodulation/.depend diff | blob | history
helm/ocaml/paramodulation/indexing.ml diff | blob | history
helm/ocaml/paramodulation/inference.ml diff | blob | history
helm/ocaml/paramodulation/saturation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.