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--	3041	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--	9671	frees.ma	blob \| history \| raw
-rw-r--r--	2603	frees_append.ma	blob \| history \| raw
-rw-r--r--	11896	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--	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--	6986	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--	18615	lsubf.ma	blob \| history \| raw
-rw-r--r--	2699	lsubf_frees.ma	blob \| history \| raw
-rw-r--r--	4459	lsubf_lsubf.ma	blob \| history \| raw
-rw-r--r--	4124	lsubf_lsubr.ma	blob \| history \| raw
-rw-r--r--	7499	lsubr.ma	blob \| history \| raw
-rw-r--r--	2709	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--	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--	7525	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--	13724	rex.ma	blob \| history \| raw
-rw-r--r--	7214	rex_drops.ma	blob \| history \| raw
-rw-r--r--	2444	rex_fqup.ma	blob \| history \| raw
-rw-r--r--	8766	rex_fsle.ma	blob \| history \| raw
-rw-r--r--	3482	rex_length.ma	blob \| history \| raw
-rw-r--r--	2085	rex_lex.ma	blob \| history \| raw
-rw-r--r--	4301	rex_rex.ma	blob \| history \| raw