]> matita.cs.unibo.it Git - helm.git/commit
some fixes to THF parser
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Apr 2010 19:52:26 +0000 (19:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Apr 2010 19:52:26 +0000 (19:52 +0000)
commitc839260badc9d172c67df8169de39f07a1304973
treebc9972b959aec86bb20b635f8da9de6942575f8e
parent130d99d356c82501fecb5f3aa1eb708b4d4c8b24
some fixes to THF parser

From: tassi <tassi@c2b2084f-9a08-0410-b176-e24b037a169a>
helm/software/components/tptp_grafite/Makefile
helm/software/components/tptp_grafite/lexerTHF.mll
helm/software/components/tptp_grafite/parserTHF.mly
helm/software/components/tptp_grafite/thf_problems