matita.cs.unibo.it Git - helm.git/tree

-rw-r--r--	2091	.depend	blob \| raw
-rw-r--r--	2091	.depend.opt	blob \| raw
-rw-r--r--	334	Makefile	blob \| raw
-rw-r--r--	1936	foSubst.ml	blob \| raw
-rw-r--r--	1434	foSubst.mli	blob \| raw
-rw-r--r--	4227	foUnif.ml	blob \| raw
-rw-r--r--	1185	foUnif.mli	blob \| raw
-rw-r--r--	4667	foUtils.ml	blob \| raw
-rw-r--r--	2150	foUtils.mli	blob \| raw
-rw-r--r--	3626	index.ml	blob \| raw
-rw-r--r--	1516	index.mli	blob \| raw
-rw-r--r--	4108	nCicBlob.ml	blob \| raw
-rw-r--r--	1012	nCicBlob.mli	blob \| raw
-rw-r--r--	6051	nCicParamod.ml	blob \| raw
-rw-r--r--	1808	nCicParamod.mli	blob \| raw
-rw-r--r--	15194	nCicProof.ml	blob \| raw
-rw-r--r--	1004	nCicProof.mli	blob \| raw
-rw-r--r--	14004	orderings.ml	blob \| raw
-rw-r--r--	1483	orderings.mli	blob \| raw
-rw-r--r--	20496	paramod.ml	blob \| raw
-rw-r--r--	2034	paramod.mli	blob \| raw
-rw-r--r--	4703	pp.ml	blob \| raw
-rw-r--r--	1027	pp.mli	blob \| raw
-rw-r--r--	4583	stats.ml	blob \| raw
-rw-r--r--	1072	stats.mli	blob \| raw
-rw-r--r--	34376	superposition.ml	blob \| raw
-rw-r--r--	2810	superposition.mli	blob \| raw
-rw-r--r--	2785	terms.ml	blob \| raw
-rw-r--r--	3040	terms.mli	blob \| raw