]> matita.cs.unibo.it Git - helm.git/tree - helm/software/components/tptp_grafite/
...
[helm.git] / helm / software / components / tptp_grafite /
drwxr-xr-x   ..
-rw-r--r-- 493 .depend
-rw-r--r-- 300 .depend.opt
-rw-r--r-- 1580 Makefile
-rw-r--r-- 697 ast.ml
-rw-r--r-- 451 astTHF.ml
-rw-r--r-- 1279 heq_problems
-rw-r--r-- 810 hne_problems
-rw-r--r-- 1444 lexer.mll
-rw-r--r-- 1766 lexerTHF.mll
-rw-r--r-- 587 main.ml
-rw-r--r-- 4641 mainTHF.ml
-rw-r--r-- 3180 parser.mly
-rw-r--r-- 4258 parserTHF.mly
-rw-r--r-- 30239 thf_problems
-rw-r--r-- 14115 tptp2grafite.ml
-rw-r--r-- 1156 tptp2grafite.mli
-rw-r--r-- 9352 unit_equality_problems