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

drwxr-xr-x		..
-rw-r--r--	7151	aaa.ma	blob \| history \| raw
-rw-r--r--	2041	aaa_aaa.ma	blob \| history \| raw
-rw-r--r--	6021	aaa_drops.ma	blob \| history \| raw
-rw-r--r--	1499	aaa_fdeq.ma	blob \| history \| raw
-rw-r--r--	3063	aaa_fqus.ma	blob \| history \| raw
-rw-r--r--	2630	aaa_rdeq.ma	blob \| history \| raw
-rw-r--r--	2568	fdeq.ma	blob \| history \| raw
-rw-r--r--	2722	fdeq_fdeq.ma	blob \| history \| raw
-rw-r--r--	1557	fdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	1887	fdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	1566	fdeq_req.ma	blob \| history \| raw
-rw-r--r--	9669	frees.ma	blob \| history \| raw
-rw-r--r--	2601	frees_append.ma	blob \| history \| raw
-rw-r--r--	11902	frees_drops.ma	blob \| history \| raw
-rw-r--r--	7021	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	2362	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2008	fsle.ma	blob \| history \| raw
-rw-r--r--	3447	fsle_drops.ma	blob \| history \| raw
-rw-r--r--	4505	fsle_fqup.ma	blob \| history \| raw
-rw-r--r--	7039	fsle_fsle.ma	blob \| history \| raw
-rw-r--r--	2111	fsle_length.ma	blob \| history \| raw
-rw-r--r--	2370	gcp.ma	blob \| history \| raw
-rw-r--r--	5559	gcp_aaa.ma	blob \| history \| raw
-rw-r--r--	8329	gcp_cr.ma	blob \| history \| raw
-rw-r--r--	4358	lsuba.ma	blob \| history \| raw
-rw-r--r--	2498	lsuba_aaa.ma	blob \| history \| raw
-rw-r--r--	3163	lsuba_drops.ma	blob \| history \| raw
-rw-r--r--	1726	lsuba_lsuba.ma	blob \| history \| raw
-rw-r--r--	1375	lsuba_lsubr.ma	blob \| history \| raw
-rw-r--r--	5104	lsubc.ma	blob \| history \| raw
-rw-r--r--	3528	lsubc_drops.ma	blob \| history \| raw
-rw-r--r--	1547	lsubc_lsuba.ma	blob \| history \| raw
-rw-r--r--	1383	lsubc_lsubr.ma	blob \| history \| raw
-rw-r--r--	18737	lsubf.ma	blob \| history \| raw
-rw-r--r--	2700	lsubf_frees.ma	blob \| history \| raw
-rw-r--r--	4463	lsubf_lsubf.ma	blob \| history \| raw
-rw-r--r--	4128	lsubf_lsubr.ma	blob \| history \| raw
-rw-r--r--	7497	lsubr.ma	blob \| history \| raw
-rw-r--r--	2713	lsubr_drops.ma	blob \| history \| raw
-rw-r--r--	1345	lsubr_length.ma	blob \| history \| raw
-rw-r--r--	1708	lsubr_lsubr.ma	blob \| history \| raw
-rw-r--r--	9323	rdeq.ma	blob \| history \| raw
-rw-r--r--	2595	rdeq_drops.ma	blob \| history \| raw
-rw-r--r--	2029	rdeq_fqup.ma	blob \| history \| raw
-rw-r--r--	7851	rdeq_fqus.ma	blob \| history \| raw
-rw-r--r--	2720	rdeq_length.ma	blob \| history \| raw
-rw-r--r--	4841	rdeq_rdeq.ma	blob \| history \| raw
-rw-r--r--	1509	rdeq_req.ma	blob \| history \| raw
-rw-r--r--	4596	req.ma	blob \| history \| raw
-rw-r--r--	1340	req_fqup.ma	blob \| history \| raw
-rw-r--r--	1739	req_fsle.ma	blob \| history \| raw
-rw-r--r--	13797	rex.ma	blob \| history \| raw
-rw-r--r--	6710	rex_drops.ma	blob \| history \| raw
-rw-r--r--	2449	rex_fqup.ma	blob \| history \| raw
-rw-r--r--	8789	rex_fsle.ma	blob \| history \| raw
-rw-r--r--	3490	rex_length.ma	blob \| history \| raw
-rw-r--r--	2084	rex_lex.ma	blob \| history \| raw
-rw-r--r--	4320	rex_rex.ma	blob \| history \| raw