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

drwxr-xr-x		..
-rw-r--r--	2157	.depend	blob \| history \| raw
-rw-r--r--	2157	.depend.opt	blob \| history \| raw
-rw-r--r--	346	Makefile	blob \| history \| raw
-rw-r--r--	1417	cicBlob.ml	blob \| history \| raw
-rw-r--r--	911	cicBlob.mli	blob \| history \| raw
-rw-r--r--	1581	foSubst.ml	blob \| history \| raw
-rw-r--r--	1269	foSubst.mli	blob \| history \| raw
-rw-r--r--	4227	foUnif.ml	blob \| history \| raw
-rw-r--r--	1185	foUnif.mli	blob \| history \| raw
-rw-r--r--	4599	foUtils.ml	blob \| history \| raw
-rw-r--r--	2150	foUtils.mli	blob \| history \| raw
-rw-r--r--	3623	index.ml	blob \| history \| raw
-rw-r--r--	1516	index.mli	blob \| history \| raw
-rw-r--r--	3254	nCicBlob.ml	blob \| history \| raw
-rw-r--r--	1089	nCicBlob.mli	blob \| history \| raw
-rw-r--r--	3813	nCicParamod.ml	blob \| history \| raw
-rw-r--r--	1266	nCicParamod.mli	blob \| history \| raw
-rw-r--r--	8635	nCicProof.ml	blob \| history \| raw
-rw-r--r--	900	nCicProof.mli	blob \| history \| raw
-rw-r--r--	13819	orderings.ml	blob \| history \| raw
-rw-r--r--	1483	orderings.mli	blob \| history \| raw
-rw-r--r--	18317	paramod.ml	blob \| history \| raw
-rw-r--r--	1804	paramod.mli	blob \| history \| raw
-rw-r--r--	4703	pp.ml	blob \| history \| raw
-rw-r--r--	1027	pp.mli	blob \| history \| raw
-rw-r--r--	4583	stats.ml	blob \| history \| raw
-rw-r--r--	1072	stats.mli	blob \| history \| raw
-rw-r--r--	33216	superposition.ml	blob \| history \| raw
-rw-r--r--	2758	superposition.mli	blob \| history \| raw
-rw-r--r--	2719	terms.ml	blob \| history \| raw
-rw-r--r--	2972	terms.mli	blob \| history \| raw