]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 640de42) | patch
Implemented keep_simplified.
authordenes <??>
Fri, 12 Jun 2009 16:16:11 +0000 (16:16 +0000)
committerdenes <??>
Fri, 12 Jun 2009 16:16:11 +0000 (16:16 +0000)
commit8bb849acb32ab6180be4ea23dbb9fe35d7300ceb
tree70a4c376a1a9b6b783ec11b17ec0b79e1e2d33cdtree | snapshot
parent640de42807566c08248ade7cfc92851bebc31d74commit | diff
Implemented keep_simplified.
If a candidate for forward inference is discarded, another is selected
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.