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

drwxr-xr-x		..
-rw-r--r--	2249	.depend	blob \| history \| raw
-rw-r--r--	2097	.depend.opt	blob \| history \| raw
-rw-r--r--	368	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--	3062	clauses.ml	blob \| history \| raw
-rw-r--r--	1539	clauses.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--	4221	foUnif.ml	blob \| history \| raw
-rw-r--r--	1181	foUnif.mli	blob \| history \| raw
-rw-r--r--	2647	foUtils.ml	blob \| history \| raw
-rw-r--r--	1223	foUtils.mli	blob \| history \| raw
-rw-r--r--	4031	index.ml	blob \| history \| raw
-rw-r--r--	1442	index.mli	blob \| history \| raw
-rw-r--r--	2040	nCicBlob.ml	blob \| history \| raw
-rw-r--r--	919	nCicBlob.mli	blob \| history \| raw
-rw-r--r--	3450	nCicParamod.ml	blob \| history \| raw
-rw-r--r--	927	nCicParamod.mli	blob \| history \| raw
-rw-r--r--	7435	nCicProof.ml	blob \| history \| raw
-rw-r--r--	798	nCicProof.mli	blob \| history \| raw
-rw-r--r--	12316	orderings.ml	blob \| history \| raw
-rw-r--r--	1342	orderings.mli	blob \| history \| raw
-rw-r--r--	15932	paramod.ml	blob \| history \| raw
-rw-r--r--	1262	paramod.mli	blob \| history \| raw
-rw-r--r--	5924	pp.ml	blob \| history \| raw
-rw-r--r--	1088	pp.mli	blob \| history \| raw
-rw-r--r--	4870	stats.ml	blob \| history \| raw
-rw-r--r--	1057	stats.mli	blob \| history \| raw
-rw-r--r--	31058	superposition.ml	blob \| history \| raw
-rw-r--r--	2574	superposition.mli	blob \| history \| raw
-rw-r--r--	2791	terms.ml	blob \| history \| raw
-rw-r--r--	3011	terms.mli	blob \| history \| raw