]> matita.cs.unibo.it Git - helm.git/commit
better type for comparison and implementation of KBO orderings
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Jun 2009 09:52:15 +0000 (09:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 4 Jun 2009 09:52:15 +0000 (09:52 +0000)
commitb60b04a930b208dc0bf8876305c4fa5ea2aeb619
tree6cfa8cc5800b64b866328e1307178d6f0bfce879
parent3c1a432c1612f8ed21f5b2220005599c4d9da1d5
better type for comparison and implementation of KBO orderings
helm/software/components/ng_paramodulation/orderings.ml
helm/software/components/ng_paramodulation/orderings.mli
helm/software/components/ng_paramodulation/terms.ml
helm/software/components/ng_paramodulation/terms.mli