]> 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-- 261 .depend
-rw-r--r-- 261 .depend.opt
-rw-r--r-- 1230 Makefile
-rw-r--r-- 697 ast.ml
-rw-r--r-- 1279 heq_problems
-rw-r--r-- 810 hne_problems
-rw-r--r-- 1444 lexer.mll
-rw-r--r-- 587 main.ml
-rw-r--r-- 3180 parser.mly
-rw-r--r-- 14031 tptp2grafite.ml
-rw-r--r-- 1156 tptp2grafite.mli
-rw-r--r-- 9352 unit_equality_problems