]> matita.cs.unibo.it Git - helm.git/commit
more work to produce well formed .ma files
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 13 May 2006 20:52:23 +0000 (20:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 13 May 2006 20:52:23 +0000 (20:52 +0000)
commit42c5babd94414751f603a3a068ba1bfa45a2cbd2
treee5d3559aea0a9228b9928320ed0105dde2bb6dc6
parenteeca603891f29cf9d5c103b82edae0f7116cee7b
more work to produce well formed .ma files
components/binaries/tptp2grafite/Makefile
components/binaries/tptp2grafite/main.ml
components/binaries/tptp2grafite/unit_equality_problems