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--	1501	aaa_fdeq.ma	blob \| history \| raw
-rw-r--r--	3065	aaa_fqus.ma	blob \| history \| raw
-rw-r--r--	2632	aaa_rdeq.ma	blob \| history \| raw
-rw-r--r--	2571	fdeq.ma	blob \| history \| raw
-rw-r--r--	2724	fdeq_fdeq.ma	blob \| history \| raw
-rw-r--r--	1559	fdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	1889	fdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	1568	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--	3449	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--	9326	rdeq.ma	blob \| history \| raw
-rw-r--r--	2598	rdeq_drops.ma	blob \| history \| raw
-rw-r--r--	2031	rdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	7855	rdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	2724	rdeq_length.ma	blob \| history \| raw
-rw-r--r--	4844	rdeq_rdeq.ma	blob \| history \| raw
-rw-r--r--	1511	rdeq_req.ma	blob \| history \| raw
-rw-r--r--	4598	req.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--	6714	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