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

drwxr-xr-x		..
-rw-r--r--	1859	.depend	blob \| history \| raw
-rw-r--r--	1747	.depend.opt	blob \| history \| raw
-rw-r--r--	333	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--	4143	foUnif.ml	blob \| history \| raw
-rw-r--r--	1182	foUnif.mli	blob \| history \| raw
-rw-r--r--	4627	foUtils.ml	blob \| history \| raw
-rw-r--r--	2096	foUtils.mli	blob \| history \| raw
-rw-r--r--	3281	index.ml	blob \| history \| raw
-rw-r--r--	1289	index.mli	blob \| history \| raw
-rw-r--r--	2826	nCicBlob.ml	blob \| history \| raw
-rw-r--r--	946	nCicBlob.mli	blob \| history \| raw
-rw-r--r--	2621	nCicParamod.ml	blob \| history \| raw
-rw-r--r--	927	nCicParamod.mli	blob \| history \| raw
-rw-r--r--	7389	nCicProof.ml	blob \| history \| raw
-rw-r--r--	798	nCicProof.mli	blob \| history \| raw
-rw-r--r--	10423	orderings.ml	blob \| history \| raw
-rw-r--r--	1107	orderings.mli	blob \| history \| raw
-rw-r--r--	14817	paramod.ml	blob \| history \| raw
-rw-r--r--	1299	paramod.mli	blob \| history \| raw
-rw-r--r--	4671	pp.ml	blob \| history \| raw
-rw-r--r--	1027	pp.mli	blob \| history \| raw
-rw-r--r--	25618	superposition.ml	blob \| history \| raw
-rw-r--r--	2660	superposition.mli	blob \| history \| raw
-rw-r--r--	2607	terms.ml	blob \| history \| raw
-rw-r--r--	2917	terms.mli	blob \| history \| raw