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

drwxr-xr-x		..
-rw-r--r--	2029	.depend	blob \| history \| raw
-rw-r--r--	1628	.depend.opt	blob \| history \| raw
-rw-r--r--	272	dune	blob \| history \| raw
-rw-r--r--	1936	foSubst.ml	blob \| history \| raw
-rw-r--r--	1434	foSubst.mli	blob \| history \| raw
-rw-r--r--	4230	foUnif.ml	blob \| history \| raw
-rw-r--r--	1185	foUnif.mli	blob \| history \| raw
-rw-r--r--	4659	foUtils.ml	blob \| history \| raw
-rw-r--r--	2150	foUtils.mli	blob \| history \| raw
-rw-r--r--	4476	hash.c	blob \| history \| raw
-rw-r--r--	3713	index.ml	blob \| history \| raw
-rw-r--r--	1516	index.mli	blob \| history \| raw
-rw-r--r--	4404	nCicBlob.ml	blob \| history \| raw
-rw-r--r--	1012	nCicBlob.mli	blob \| history \| raw
-rw-r--r--	7733	nCicParamod.ml	blob \| history \| raw
-rw-r--r--	1945	nCicParamod.mli	blob \| history \| raw
-rw-r--r--	13606	nCicProof.ml	blob \| history \| raw
-rw-r--r--	1021	nCicProof.mli	blob \| history \| raw
-rw-r--r--	13321	orderings.ml	blob \| history \| raw
-rw-r--r--	1483	orderings.mli	blob \| history \| raw
-rw-r--r--	20894	paramod.ml	blob \| history \| raw
-rw-r--r--	2034	paramod.mli	blob \| history \| raw
-rw-r--r--	4705	pp.ml	blob \| history \| raw
-rw-r--r--	1081	pp.mli	blob \| history \| raw
-rw-r--r--	4581	stats.ml	blob \| history \| raw
-rw-r--r--	1072	stats.mli	blob \| history \| raw
-rw-r--r--	36197	superposition.ml	blob \| history \| raw
-rw-r--r--	2810	superposition.mli	blob \| history \| raw
-rw-r--r--	2781	terms.ml	blob \| history \| raw
-rw-r--r--	3040	terms.mli	blob \| history \| raw