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

drwxr-xr-x		..
-rw-r--r--	7155	aaa.ma	blob \| history \| raw
-rw-r--r--	2042	aaa_aaa.ma	blob \| history \| raw
-rw-r--r--	6025	aaa_drops.ma	blob \| history \| raw
-rw-r--r--	1485	aaa_fdeq.ma	blob \| history \| raw
-rw-r--r--	3065	aaa_fqus.ma	blob \| history \| raw
-rw-r--r--	2610	aaa_rdeq.ma	blob \| history \| raw
-rw-r--r--	2452	fdeq.ma	blob \| history \| raw
-rw-r--r--	2614	fdeq_fdeq.ma	blob \| history \| raw
-rw-r--r--	1529	fdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	1867	fdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	1546	fdeq_req.ma	blob \| history \| raw
-rw-r--r--	9671	frees.ma	blob \| history \| raw
-rw-r--r--	2603	frees_append.ma	blob \| history \| raw
-rw-r--r--	11904	frees_drops.ma	blob \| history \| raw
-rw-r--r--	7023	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	2363	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2011	fsle.ma	blob \| history \| raw
-rw-r--r--	3960	fsle_drops.ma	blob \| history \| raw
-rw-r--r--	4507	fsle_fqup.ma	blob \| history \| raw
-rw-r--r--	7041	fsle_fsle.ma	blob \| history \| raw
-rw-r--r--	2113	fsle_length.ma	blob \| history \| raw
-rw-r--r--	2372	gcp.ma	blob \| history \| raw
-rw-r--r--	5561	gcp_aaa.ma	blob \| history \| raw
-rw-r--r--	8335	gcp_cr.ma	blob \| history \| raw
-rw-r--r--	4360	lsuba.ma	blob \| history \| raw
-rw-r--r--	2500	lsuba_aaa.ma	blob \| history \| raw
-rw-r--r--	3165	lsuba_drops.ma	blob \| history \| raw
-rw-r--r--	1727	lsuba_lsuba.ma	blob \| history \| raw
-rw-r--r--	1377	lsuba_lsubr.ma	blob \| history \| raw
-rw-r--r--	5107	lsubc.ma	blob \| history \| raw
-rw-r--r--	3530	lsubc_drops.ma	blob \| history \| raw
-rw-r--r--	1549	lsubc_lsuba.ma	blob \| history \| raw
-rw-r--r--	1385	lsubc_lsubr.ma	blob \| history \| raw
-rw-r--r--	18739	lsubf.ma	blob \| history \| raw
-rw-r--r--	2701	lsubf_frees.ma	blob \| history \| raw
-rw-r--r--	4465	lsubf_lsubf.ma	blob \| history \| raw
-rw-r--r--	4130	lsubf_lsubr.ma	blob \| history \| raw
-rw-r--r--	7499	lsubr.ma	blob \| history \| raw
-rw-r--r--	2715	lsubr_drops.ma	blob \| history \| raw
-rw-r--r--	1347	lsubr_length.ma	blob \| history \| raw
-rw-r--r--	1709	lsubr_lsubr.ma	blob \| history \| raw
-rw-r--r--	8450	rdeq.ma	blob \| history \| raw
-rw-r--r--	2739	rdeq_drops.ma	blob \| history \| raw
-rw-r--r--	1969	rdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	7597	rdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	2600	rdeq_length.ma	blob \| history \| raw
-rw-r--r--	4540	rdeq_rdeq.ma	blob \| history \| raw
-rw-r--r--	1485	rdeq_req.ma	blob \| history \| raw
-rw-r--r--	4598	req.ma	blob \| history \| raw
-rw-r--r--	1546	req_drops.ma	blob \| history \| raw
-rw-r--r--	1342	req_fqup.ma	blob \| history \| raw
-rw-r--r--	1742	req_fsle.ma	blob \| history \| raw
-rw-r--r--	13801	rex.ma	blob \| history \| raw
-rw-r--r--	7242	rex_drops.ma	blob \| history \| raw
-rw-r--r--	2451	rex_fqup.ma	blob \| history \| raw
-rw-r--r--	8793	rex_fsle.ma	blob \| history \| raw
-rw-r--r--	3492	rex_length.ma	blob \| history \| raw
-rw-r--r--	2087	rex_lex.ma	blob \| history \| raw
-rw-r--r--	4323	rex_rex.ma	blob \| history \| raw