]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b692753) | patch
Implemented LPO
authordenes <??>
Fri, 3 Jul 2009 13:22:28 +0000 (13:22 +0000)
committerdenes <??>
Fri, 3 Jul 2009 13:22:28 +0000 (13:22 +0000)
commit016f069da6221053873b4d505716ef1bd80f08b6
tree603464a9132af72646feebb5e44cc453e56d8b79tree | snapshot
parentb69275324ae2d436f2f4dbb70e0ddcbdf3886636commit | diff
Implemented LPO
helm/software/components/ng_paramodulation/orderings.ml diff | blob | history
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/terms.ml diff | blob | history
helm/software/components/ng_paramodulation/terms.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.