]> matita.cs.unibo.it Git - helm.git/commit
added generation of hne and heq problems
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Apr 2007 08:21:57 +0000 (08:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Apr 2007 08:21:57 +0000 (08:21 +0000)
commit7362b0a510580edeb6bf0b5823316bbe82959faa
tree82d30918259d356b523982fe4872e1741465c36a
parent9fe4caa4ba466250017b5ac1b36fc6e94d7e3860
added generation of hne and heq problems
helm/software/components/tptp_grafite/Makefile
helm/software/components/tptp_grafite/heq_problems [new file with mode: 0644]
helm/software/components/tptp_grafite/hne_problems [new file with mode: 0644]
helm/software/components/tptp_grafite/parser.mly
helm/software/components/tptp_grafite/tptp2grafite.ml
helm/software/components/tptp_grafite/tptp2grafite.mli