]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 882 | CASC_2008 | blob | history | raw |
-rw-r--r-- | 351 | Makefile | blob | history | raw |
-rw-r--r-- | 2658 | SystemDescriptionMatita.html | blob | history | raw |
-rw-r--r-- | 2805 | Veloci | blob | history | raw |
-rw-r--r-- | 48 | _tags | blob | history | raw |
lrwxrwxrwx | 25 | ast.ml -> ../../tptp_grafite/ast.ml | blob | history | raw |
-rw-r--r-- | 722 | casc_2008 | blob | history | raw |
lrwxrwxrwx | 35 | discrimination_tree.ml -> ../../extlib/discrimination_tree.ml | blob | history | raw |
lrwxrwxrwx | 36 | discrimination_tree.mli -> ../../extlib/discrimination_tree.mli | blob | history | raw |
lrwxrwxrwx | 34 | foSubst.ml -> ../../ng_paramodulation/foSubst.ml | blob | history | raw |
lrwxrwxrwx | 35 | foSubst.mli -> ../../ng_paramodulation/foSubst.mli | blob | history | raw |
lrwxrwxrwx | 33 | foUnif.ml -> ../../ng_paramodulation/foUnif.ml | blob | history | raw |
lrwxrwxrwx | 34 | foUnif.mli -> ../../ng_paramodulation/foUnif.mli | blob | history | raw |
lrwxrwxrwx | 34 | foUtils.ml -> ../../ng_paramodulation/foUtils.ml | blob | history | raw |
lrwxrwxrwx | 35 | foUtils.mli -> ../../ng_paramodulation/foUtils.mli | blob | history | raw |
lrwxrwxrwx | 23 | hExtlib.ml -> ../../extlib/hExtlib.ml | blob | history | raw |
lrwxrwxrwx | 24 | hExtlib.mli -> ../../extlib/hExtlib.mli | blob | history | raw |
lrwxrwxrwx | 32 | index.ml -> ../../ng_paramodulation/index.ml | blob | history | raw |
lrwxrwxrwx | 33 | index.mli -> ../../ng_paramodulation/index.mli | blob | history | raw |
lrwxrwxrwx | 28 | lexer.mll -> ../../tptp_grafite/lexer.mll | blob | history | raw |
-rw-r--r-- | 128736 | log.090625 | blob | history | raw |
-rw-r--r-- | 1263350 | log.090627 | blob | history | raw |
-rw-r--r-- | 1220397 | log.090629 | blob | history | raw |
-rw-r--r-- | 278614 | log.090629-no-infer-on-closed-goals-10 | blob | history | raw |
-rw-r--r-- | 7052 | matitaprover.ml | blob | history | raw |
lrwxrwxrwx | 36 | orderings.ml -> ../../ng_paramodulation/orderings.ml | blob | history | raw |
lrwxrwxrwx | 37 | orderings.mli -> ../../ng_paramodulation/orderings.mli | blob | history | raw |
lrwxrwxrwx | 34 | paramod.ml -> ../../ng_paramodulation/paramod.ml | blob | history | raw |
lrwxrwxrwx | 35 | paramod.mli -> ../../ng_paramodulation/paramod.mli | blob | history | raw |
lrwxrwxrwx | 29 | parser.mly -> ../../tptp_grafite/parser.mly | blob | history | raw |
lrwxrwxrwx | 29 | pp.ml -> ../../ng_paramodulation/pp.ml | blob | history | raw |
lrwxrwxrwx | 30 | pp.mli -> ../../ng_paramodulation/pp.mli | blob | history | raw |
-rwxr-xr-x | 392 | run_on_a_list.sh | blob | history | raw |
-rw-r--r-- | 82 | stdpp.ml | blob | history | raw |
lrwxrwxrwx | 40 | superposition.ml -> ../../ng_paramodulation/superposition.ml | blob | history | raw |
lrwxrwxrwx | 41 | superposition.mli -> ../../ng_paramodulation/superposition.mli | blob | history | raw |
lrwxrwxrwx | 32 | terms.ml -> ../../ng_paramodulation/terms.ml | blob | history | raw |
lrwxrwxrwx | 33 | terms.mli -> ../../ng_paramodulation/terms.mli | blob | history | raw |
-rw-r--r-- | 1834 | tptp_cnf.ml | blob | history | raw |
-rw-r--r-- | 825 | tptp_cnf.mli | blob | history | raw |
lrwxrwxrwx | 20 | trie.ml -> ../../extlib/trie.ml | blob | history | raw |
lrwxrwxrwx | 21 | trie.mli -> ../../extlib/trie.mli | blob | history | raw |