]> matita.cs.unibo.it Git - helm.git/commit
cambiato il tipo equality, aggiunto l'ordinamento tra left e right
authorAlberto Griggio <griggio@fbk.eu>
Thu, 9 Jun 2005 17:17:30 +0000 (17:17 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Thu, 9 Jun 2005 17:17:30 +0000 (17:17 +0000)
commit423f3f23abfe6d5906818c26ab92d3703714057d
treecd6769e52692346d3db994f7aa3c1f8716429f74
parentdab3163daed8034aca17b9ed18d5200e4b9f046a
cambiato il tipo equality, aggiunto l'ordinamento tra left e right
helm/ocaml/paramodulation/Makefile
helm/ocaml/paramodulation/inference.ml
helm/ocaml/paramodulation/inference.mli
helm/ocaml/paramodulation/saturation.ml
helm/ocaml/paramodulation/utils.ml
helm/ocaml/paramodulation/utils.mli