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

drwxr-xr-x		..
-rw-r--r--	7183	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--	6295	aaa_drops.ma	blob \| history \| raw
-rw-r--r--	1478	aaa_feqx.ma	blob \| history \| raw
-rw-r--r--	3044	aaa_fqus.ma	blob \| history \| raw
-rw-r--r--	2608	aaa_reqx.ma	blob \| history \| raw
-rw-r--r--	2440	feqx.ma	blob \| history \| raw
-rw-r--r--	2582	feqx_feqx.ma	blob \| history \| raw
-rw-r--r--	1525	feqx_fqup.ma	blob \| history \| raw
-rw-r--r--	1851	feqx_fqus.ma	blob \| history \| raw
-rw-r--r--	1538	feqx_req.ma	blob \| history \| raw
-rw-r--r--	9563	frees.ma	blob \| history \| raw
-rw-r--r--	2580	frees_append.ma	blob \| history \| raw
-rw-r--r--	10898	frees_drops.ma	blob \| history \| raw
-rw-r--r--	6598	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	2363	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2036	fsle.ma	blob \| history \| raw
-rw-r--r--	3939	fsle_drops.ma	blob \| history \| raw
-rw-r--r--	4485	fsle_fqup.ma	blob \| history \| raw
-rw-r--r--	7590	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--	8030	gcp_cr.ma	blob \| history \| raw
-rw-r--r--	4381	lsuba.ma	blob \| history \| raw
-rw-r--r--	2496	lsuba_aaa.ma	blob \| history \| raw
-rw-r--r--	3160	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--	5114	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--	18952	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--	4076	lsubf_lsubr.ma	blob \| history \| raw
-rw-r--r--	7101	lsubr.ma	blob \| history \| raw
-rw-r--r--	2581	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--	4582	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--	8281	reqx.ma	blob \| history \| raw
-rw-r--r--	2731	reqx_drops.ma	blob \| history \| raw
-rw-r--r--	1969	reqx_fqup.ma	blob \| history \| raw
-rw-r--r--	7533	reqx_fqus.ma	blob \| history \| raw
-rw-r--r--	2598	reqx_length.ma	blob \| history \| raw
-rw-r--r--	1485	reqx_req.ma	blob \| history \| raw
-rw-r--r--	4538	reqx_reqx.ma	blob \| history \| raw
-rw-r--r--	13051	rex.ma	blob \| history \| raw
-rw-r--r--	7014	rex_drops.ma	blob \| history \| raw
-rw-r--r--	2394	rex_fqup.ma	blob \| history \| raw
-rw-r--r--	9977	rex_fsle.ma	blob \| history \| raw
-rw-r--r--	3325	rex_length.ma	blob \| history \| raw
-rw-r--r--	2045	rex_lex.ma	blob \| history \| raw
-rw-r--r--	4146	rex_rex.ma	blob \| history \| raw