]> matita.cs.unibo.it Git - helm.git/commit
matitaprover is almost there
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 25 Jun 2009 14:42:56 +0000 (14:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 25 Jun 2009 14:42:56 +0000 (14:42 +0000)
commitd4d8691cd71651c778eacd6cc8d7ecc6f51d41df
tree26e338a3c12fcf3d6b225d08de616c14f78020e1
parent01b01dd4e6602de3ae463f74b4d1ef29a73acc68
matitaprover is almost there
helm/software/components/binaries/matitaprover/matitaprover.ml
helm/software/components/binaries/matitaprover/tptp_cnf.ml
helm/software/components/binaries/matitaprover/tptp_cnf.mli
helm/software/components/ng_paramodulation/pp.ml