]> matita.cs.unibo.it Git - helm.git/commit
; and not . after auto-paramodulation
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jul 2007 09:41:50 +0000 (09:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 25 Jul 2007 09:41:50 +0000 (09:41 +0000)
commitd765468f2df1976b995a2047fe76a6032c84840b
tree6bb2eee36e8fb49e7f3fac65ed35ea7abafdcc7f
parent373eac375c2950d0090cac177f44dbfb761389d5
; and not . after auto-paramodulation
helm/software/components/tptp_grafite/tptp2grafite.ml