]> matita.cs.unibo.it Git - helm.git/commit
better doc
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 25 Jun 2009 21:23:44 +0000 (21:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 25 Jun 2009 21:23:44 +0000 (21:23 +0000)
commit4de22917afd18df543e3281bb463ed51f2cfab61
tree23dd79fcab97672beb2451c44d460b52446693e4
parent138af8ad1b6a6382606e367cc906f4232fa626ff
better doc
helm/software/components/binaries/matitaprover/matitaprover.ml
helm/software/components/binaries/matitaprover/tptp_cnf.ml
helm/software/components/binaries/matitaprover/tptp_cnf.mli