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

drwxr-xr-x		..
-rw-r--r--	7119	aaa.ma	blob \| history \| raw
-rw-r--r--	2805	aaa_aaa.ma	blob \| history \| raw
-rw-r--r--	3368	aaa_dec.ma	blob \| history \| raw
-rw-r--r--	6298	aaa_drops.ma	blob \| history \| raw
-rw-r--r--	1479	aaa_fdeq.ma	blob \| history \| raw
-rw-r--r--	3044	aaa_fqus.ma	blob \| history \| raw
-rw-r--r--	2608	aaa_rdeq.ma	blob \| history \| raw
-rw-r--r--	2440	fdeq.ma	blob \| history \| raw
-rw-r--r--	2582	fdeq_fdeq.ma	blob \| history \| raw
-rw-r--r--	1525	fdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	1851	fdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	1538	fdeq_req.ma	blob \| history \| raw
-rw-r--r--	9566	frees.ma	blob \| history \| raw
-rw-r--r--	2581	frees_append.ma	blob \| history \| raw
-rw-r--r--	11506	frees_drops.ma	blob \| history \| raw
-rw-r--r--	6599	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	2363	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2006	fsle.ma	blob \| history \| raw
-rw-r--r--	3945	fsle_drops.ma	blob \| history \| raw
-rw-r--r--	4483	fsle_fqup.ma	blob \| history \| raw
-rw-r--r--	6733	fsle_fsle.ma	blob \| history \| raw
-rw-r--r--	2103	fsle_length.ma	blob \| history \| raw
-rw-r--r--	2213	gcp.ma	blob \| history \| raw
-rw-r--r--	5570	gcp_aaa.ma	blob \| history \| raw
-rw-r--r--	8024	gcp_cr.ma	blob \| history \| raw
-rw-r--r--	4349	lsuba.ma	blob \| history \| raw
-rw-r--r--	2496	lsuba_aaa.ma	blob \| history \| raw
-rw-r--r--	3161	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--	5082	lsubc.ma	blob \| history \| raw
-rw-r--r--	3526	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--	17433	lsubf.ma	blob \| history \| raw
-rw-r--r--	2686	lsubf_frees.ma	blob \| history \| raw
-rw-r--r--	4445	lsubf_lsubf.ma	blob \| history \| raw
-rw-r--r--	4077	lsubf_lsubr.ma	blob \| history \| raw
-rw-r--r--	6979	lsubr.ma	blob \| history \| raw
-rw-r--r--	2582	lsubr_drops.ma	blob \| history \| raw
-rw-r--r--	1347	lsubr_length.ma	blob \| history \| raw
-rw-r--r--	1730	lsubr_lsubr.ma	blob \| history \| raw
-rw-r--r--	8444	rdeq.ma	blob \| history \| raw
-rw-r--r--	2737	rdeq_drops.ma	blob \| history \| raw
-rw-r--r--	1969	rdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	7533	rdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	2598	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--	4597	req.ma	blob \| history \| raw
-rw-r--r--	1544	req_drops.ma	blob \| history \| raw
-rw-r--r--	1342	req_fqup.ma	blob \| history \| raw
-rw-r--r--	1740	req_fsle.ma	blob \| history \| raw
-rw-r--r--	12771	rex.ma	blob \| history \| raw
-rw-r--r--	7026	rex_drops.ma	blob \| history \| raw
-rw-r--r--	2394	rex_fqup.ma	blob \| history \| raw
-rw-r--r--	8379	rex_fsle.ma	blob \| history \| raw
-rw-r--r--	3325	rex_length.ma	blob \| history \| raw
-rw-r--r--	2040	rex_lex.ma	blob \| history \| raw
-rw-r--r--	4146	rex_rex.ma	blob \| history \| raw