]> matita.cs.unibo.it Git - helm.git/commit
hacks for paramodulation declarative proofs
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Jun 2007 07:35:59 +0000 (07:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 1 Jun 2007 07:35:59 +0000 (07:35 +0000)
commitc6ecfe8fff2265abfedbbe33a171c26b0d8c7c4e
tree550acfd81d8d9e2ac9e81059d5153604bbd5fecd
parentd862088577226862f3b7f9a4eab94c85d5bb8211
hacks for paramodulation declarative proofs
components/acic_content/acic2content.ml
components/acic_procedural/acic2Procedural.ml
components/acic_procedural/acic2Procedural.mli
components/content_pres/content2pres.ml
components/content_pres/content2pres.mli
matita/applyTransformation.ml
matita/applyTransformation.mli
matita/matitaScript.ml