]> matita.cs.unibo.it Git - helm.git/commit
added a new type for proofs.
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 26 Apr 2006 09:21:07 +0000 (09:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 26 Apr 2006 09:21:07 +0000 (09:21 +0000)
commita060ed37101ce0e97bc26af8d49ce2491471c60c
treea99b806369ab9e098273475561a82e4256f4977d
parent5bd00cfdff937c2bb6c257f9c28b00ca027103e0
added a new type for proofs.
14 files changed:
helm/software/components/tactics/.depend
helm/software/components/tactics/Makefile
helm/software/components/tactics/autoTactic.ml
helm/software/components/tactics/paramodulation/equality.ml [new file with mode: 0644]
helm/software/components/tactics/paramodulation/equality.mli [new file with mode: 0644]
helm/software/components/tactics/paramodulation/equality_indexing.ml
helm/software/components/tactics/paramodulation/equality_indexing.mli
helm/software/components/tactics/paramodulation/indexing.ml
helm/software/components/tactics/paramodulation/indexing.mli
helm/software/components/tactics/paramodulation/inference.ml
helm/software/components/tactics/paramodulation/inference.mli
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/utils.ml
helm/software/components/tactics/paramodulation/utils.mli