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

drwxr-xr-x		..
-rw-r--r--	7151	aaa.ma	blob \| history \| raw
-rw-r--r--	2041	aaa_aaa.ma	blob \| history \| raw
-rw-r--r--	6021	aaa_drops.ma	blob \| history \| raw
-rw-r--r--	3063	aaa_fqus.ma	blob \| history \| raw
-rw-r--r--	2641	aaa_lfdeq.ma	blob \| history \| raw
-rw-r--r--	1942	ffdeq.ma	blob \| history \| raw
-rw-r--r--	2158	ffdeq_ffdeq.ma	blob \| history \| raw
-rw-r--r--	1327	ffdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	1905	fle.ma	blob \| history \| raw
-rw-r--r--	3025	fle_drops.ma	blob \| history \| raw
-rw-r--r--	6030	fle_fle.ma	blob \| history \| raw
-rw-r--r--	4847	fle_fqup.ma	blob \| history \| raw
-rw-r--r--	10386	frees.ma	blob \| history \| raw
-rw-r--r--	11843	frees_drops.ma	blob \| history \| raw
-rw-r--r--	4707	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	2362	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2370	gcp.ma	blob \| history \| raw
-rw-r--r--	5559	gcp_aaa.ma	blob \| history \| raw
-rw-r--r--	8315	gcp_cr.ma	blob \| history \| raw
-rw-r--r--	8686	lfdeq.ma	blob \| history \| raw
-rw-r--r--	2607	lfdeq_drops.ma	blob \| history \| raw
-rw-r--r--	2043	lfdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	5866	lfdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	2229	lfdeq_length.ma	blob \| history \| raw
-rw-r--r--	4939	lfdeq_lfdeq.ma	blob \| history \| raw
-rw-r--r--	3848	lfeq.ma	blob \| history \| raw
-rw-r--r--	1345	lfeq_fqup.ma	blob \| history \| raw
-rw-r--r--	1528	lfeq_lfeq.ma	blob \| history \| raw
-rw-r--r--	14074	lfxs.ma	blob \| history \| raw
-rw-r--r--	5878	lfxs_drops.ma	blob \| history \| raw
-rw-r--r--	2471	lfxs_fqup.ma	blob \| history \| raw
-rw-r--r--	2128	lfxs_length.ma	blob \| history \| raw
-rw-r--r--	1421	lfxs_lex.ma	blob \| history \| raw
-rw-r--r--	13137	lfxs_lfxs.ma	blob \| history \| raw
-rw-r--r--	4358	lsuba.ma	blob \| history \| raw
-rw-r--r--	2498	lsuba_aaa.ma	blob \| history \| raw
-rw-r--r--	3163	lsuba_drops.ma	blob \| history \| raw
-rw-r--r--	1726	lsuba_lsuba.ma	blob \| history \| raw
-rw-r--r--	1375	lsuba_lsubr.ma	blob \| history \| raw
-rw-r--r--	5104	lsubc.ma	blob \| history \| raw
-rw-r--r--	3528	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--	18737	lsubf.ma	blob \| history \| raw
-rw-r--r--	2700	lsubf_frees.ma	blob \| history \| raw
-rw-r--r--	4463	lsubf_lsubf.ma	blob \| history \| raw
-rw-r--r--	4128	lsubf_lsubr.ma	blob \| history \| raw
-rw-r--r--	7497	lsubr.ma	blob \| history \| raw
-rw-r--r--	2713	lsubr_drops.ma	blob \| history \| raw
-rw-r--r--	1345	lsubr_length.ma	blob \| history \| raw
-rw-r--r--	1708	lsubr_lsubr.ma	blob \| history \| raw