matita.cs.unibo.it Git - helm.git/tree - matita/components/binaries/matitaprover/

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--	11175	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