matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic

drwxr-xr-x		..
-rw-r--r--	7189	aaa.ma	blob \| history \| raw
-rw-r--r--	2049	aaa_aaa.ma	blob \| history \| raw
-rw-r--r--	5852	aaa_drops.ma	blob \| history \| raw
-rw-r--r--	3031	aaa_fqus.ma	blob \| history \| raw
-rw-r--r--	2218	aaa_lfeq.ma	blob \| history \| raw
-rw-r--r--	2154	ffeq.ma	blob \| history \| raw
-rw-r--r--	1854	ffeq_ffeq.ma	blob \| history \| raw
-rw-r--r--	8772	frees.ma	blob \| history \| raw
-rw-r--r--	13801	frees_drops.ma	blob \| history \| raw
-rw-r--r--	4839	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	4847	frees_fqus.ma	blob \| history \| raw
-rw-r--r--	2273	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2170	frees_lreq.ma	blob \| history \| raw
-rw-r--r--	5817	lfeq.ma	blob \| history \| raw
-rw-r--r--	1313	lfeq_fqup.ma	blob \| history \| raw
-rw-r--r--	1340	lfeq_length.ma	blob \| history \| raw
-rw-r--r--	2601	lfeq_lfeq.ma	blob \| history \| raw
-rw-r--r--	1814	lfeq_lreq.ma	blob \| history \| raw
-rw-r--r--	11494	lfxs.ma	blob \| history \| raw
-rw-r--r--	5017	lfxs_drops.ma	blob \| history \| raw
-rw-r--r--	1393	lfxs_fqup.ma	blob \| history \| raw
-rw-r--r--	1366	lfxs_length.ma	blob \| history \| raw
-rw-r--r--	2981	lfxs_lfxs.ma	blob \| history \| raw
-rw-r--r--	4378	lsuba.ma	blob \| history \| raw
-rw-r--r--	2502	lsuba_aaa.ma	blob \| history \| raw
-rw-r--r--	3157	lsuba_drops.ma	blob \| history \| raw
-rw-r--r--	1733	lsuba_lsuba.ma	blob \| history \| raw
-rw-r--r--	1375	lsuba_lsubr.ma	blob \| history \| raw
-rw-r--r--	5538	lsubf.ma	blob \| history \| raw
-rw-r--r--	2914	lsubf_frees.ma	blob \| history \| raw
-rw-r--r--	4292	lsubr.ma	blob \| history \| raw
-rw-r--r--	2788	lsubr_drops.ma	blob \| history \| raw
-rw-r--r--	1360	lsubr_length.ma	blob \| history \| raw
-rw-r--r--	2576	lsubr_lsubr.ma	blob \| history \| raw
-rw-r--r--	4647	sd.ma	blob \| history \| raw
-rw-r--r--	1899	sh.ma	blob \| history \| raw