]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 882 | CASC_2008 | blob | history | raw |
-rw-r--r-- | 366 | Makefile | blob | history | raw |
-rw-r--r-- | 2658 | SystemDescriptionMatita.html | blob | history | raw |
-rw-r--r-- | 29001 | TreeLimitedRun.c | 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 |
drwxr-xr-x | - | benchmarks | tree | history |
-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 |
-rw-r--r-- | 3778 | eligible_unit_equality_problems | 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 | 25 | hTopoSort.ml -> ../../extlib/hTopoSort.ml | blob | history | raw |
lrwxrwxrwx | 26 | hTopoSort.mli -> ../../extlib/hTopoSort.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-- | 11046 | 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 | 477 | run_on_a_list.sh | blob | history | raw |
lrwxrwxrwx | 32 | stats.ml -> ../../ng_paramodulation/stats.ml | blob | history | raw |
lrwxrwxrwx | 33 | stats.mli -> ../../ng_paramodulation/stats.mli | blob | history | raw |
-rw-r--r-- | 82 | stdpp.ml | blob | history | raw |
-rw-r--r-- | 496 | sum_up.awk | 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 |