]> 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)
commit551b90466538e44c85b2f739e47b89140c0bce67
tree19752600dd00f3a1ff55ed12d53103cd2a6806da
parent570bf3167db7750059139d0d56be8a8868a43013
- metas_of_term moved to cicUtil
- fixed proof generation
- added again typechecking of generated proof
helm/software/components/binaries/tptp2grafite/main.ml
helm/software/components/cic/cicUtil.ml
helm/software/components/cic/cicUtil.mli
helm/software/components/tactics/paramodulation/equality.ml
helm/software/components/tactics/paramodulation/saturation.ml
helm/software/components/tactics/paramodulation/utils.ml