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

drwxr-xr-x		..
-rw-r--r--	7186	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--	2594	aaa_lfdeq.ma	blob \| history \| raw
-rw-r--r--	2163	ffdeq.ma	blob \| history \| raw
-rw-r--r--	1933	ffdeq_ffdeq.ma	blob \| history \| raw
-rw-r--r--	1327	ffdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	9427	frees.ma	blob \| history \| raw
-rw-r--r--	12120	frees_drops.ma	blob \| history \| raw
-rw-r--r--	4839	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	2273	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2370	gcp.ma	blob \| history \| raw
-rw-r--r--	5469	gcp_aaa.ma	blob \| history \| raw
-rw-r--r--	8238	gcp_cr.ma	blob \| history \| raw
-rw-r--r--	8681	lfdeq.ma	blob \| history \| raw
-rw-r--r--	2644	lfdeq_drops.ma	blob \| history \| raw
-rw-r--r--	1513	lfdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	5533	lfdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	1394	lfdeq_length.ma	blob \| history \| raw
-rw-r--r--	4274	lfdeq_lfdeq.ma	blob \| history \| raw
-rw-r--r--	12221	lfxs.ma	blob \| history \| raw
-rw-r--r--	4995	lfxs_drops.ma	blob \| history \| raw
-rw-r--r--	1739	lfxs_fqup.ma	blob \| history \| raw
-rw-r--r--	1408	lfxs_length.ma	blob \| history \| raw
-rw-r--r--	7309	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--	3169	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--	5121	lsubc.ma	blob \| history \| raw
-rw-r--r--	3468	lsubc_drops.ma	blob \| history \| raw
-rw-r--r--	1547	lsubc_lsuba.ma	blob \| history \| raw
-rw-r--r--	1383	lsubc_lsubr.ma	blob \| history \| raw
-rw-r--r--	5977	lsubf.ma	blob \| history \| raw
-rw-r--r--	3512	lsubf_frees.ma	blob \| history \| raw
-rw-r--r--	4291	lsubr.ma	blob \| history \| raw
-rw-r--r--	2788	lsubr_drops.ma	blob \| history \| raw
-rw-r--r--	1359	lsubr_length.ma	blob \| history \| raw
-rw-r--r--	2576	lsubr_lsubr.ma	blob \| history \| raw