]> 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)
commit2d7785bad7cede0196be80375c26dff8e4908d4c
tree51fb5b4c04a25af1015995839f8a2f2e5b504747
parentd391cece149b0eae79d5a23023a7f58508437083
more work to produce well formed .ma files
helm/software/components/binaries/tptp2grafite/Makefile
helm/software/components/binaries/tptp2grafite/main.ml
helm/software/components/binaries/tptp2grafite/unit_equality_problems