]> 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)
commit55ec3926f6fbb5dba13705659fe94d0db38b2666
tree9b484c62111f582e60981c08b5ff22ec631f4e81
parentcebed8851dcaf8ceeb4e5f74b52705bf0c18a456
hacks for paramodulation declarative proofs
helm/software/components/acic_content/acic2content.ml
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/acic2Procedural.mli
helm/software/components/content_pres/content2pres.ml
helm/software/components/content_pres/content2pres.mli
helm/software/matita/applyTransformation.ml
helm/software/matita/applyTransformation.mli
helm/software/matita/matitaScript.ml