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--	1504	aaa_ffdeq.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--	2583	ffdeq.ma	blob \| history \| raw
-rw-r--r--	2210	ffdeq_ffdeq.ma	blob \| history \| raw
-rw-r--r--	1330	ffdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	9669	frees.ma	blob \| history \| raw
-rw-r--r--	2601	frees_append.ma	blob \| history \| raw
-rw-r--r--	11903	frees_drops.ma	blob \| history \| raw
-rw-r--r--	7013	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	2362	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2008	fsle.ma	blob \| history \| raw
-rw-r--r--	3447	fsle_drops.ma	blob \| history \| raw
-rw-r--r--	4505	fsle_fqup.ma	blob \| history \| raw
-rw-r--r--	6471	fsle_fsle.ma	blob \| history \| raw
-rw-r--r--	2111	fsle_length.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--	9140	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--	5860	lfdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	2229	lfdeq_length.ma	blob \| history \| raw
-rw-r--r--	4901	lfdeq_lfdeq.ma	blob \| history \| raw
-rw-r--r--	1331	lfdeq_lfeq.ma	blob \| history \| raw
-rw-r--r--	4633	lfeq.ma	blob \| history \| raw
-rw-r--r--	1345	lfeq_fqup.ma	blob \| history \| raw
-rw-r--r--	1756	lfeq_fsle.ma	blob \| history \| raw
-rw-r--r--	13806	lfxs.ma	blob \| history \| raw
-rw-r--r--	6744	lfxs_drops.ma	blob \| history \| raw
-rw-r--r--	2471	lfxs_fqup.ma	blob \| history \| raw
-rw-r--r--	8902	lfxs_fsle.ma	blob \| history \| raw
-rw-r--r--	2741	lfxs_length.ma	blob \| history \| raw
-rw-r--r--	2103	lfxs_lex.ma	blob \| history \| raw
-rw-r--r--	4380	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