]> matita.cs.unibo.it Git - helm.git/tree - components/tptp_grafite/
snapshot
[helm.git] / components / tptp_grafite /
drwxr-xr-x   ..
-rw-r--r-- 261 .depend
-rw-r--r-- 261 .depend.opt
-rw-r--r-- 1061 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-- 517 main.ml
-rw-r--r-- 3180 parser.mly
-rw-r--r-- 11781 tptp2grafite.ml
-rw-r--r-- 1145 tptp2grafite.mli
-rw-r--r-- 7740 unit_equality_problems