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

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