]> matita.cs.unibo.it Git - helm.git/commit
- metas_of_term moved to cicUtil
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 May 2006 12:19:04 +0000 (12:19 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 May 2006 12:19:04 +0000 (12:19 +0000)
commit4b0c8ab87297a2bcf9998c098fafbba44e8b641b
treee81cffcab80e4711cfe22f00efc1931238d99cdc
parentfc26c5c680602ef01df698cc5d696e6a8254ef28
- metas_of_term moved to cicUtil
- fixed proof generation
- added again typechecking of generated proof
components/binaries/tptp2grafite/main.ml
components/cic/cicUtil.ml
components/cic/cicUtil.mli
components/tactics/paramodulation/equality.ml
components/tactics/paramodulation/saturation.ml
components/tactics/paramodulation/utils.ml