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--	1509	aaa_feqg.ma	blob \| history \| raw
-rw-r--r--	3044	aaa_fqus.ma	blob \| history \| raw
-rw-r--r--	3061	aaa_reqg.ma	blob \| history \| raw
-rw-r--r--	3193	feqg.ma	blob \| history \| raw
-rw-r--r--	3720	feqg_feqg.ma	blob \| history \| raw
-rw-r--r--	1731	feqg_fqu.ma	blob \| history \| raw
-rw-r--r--	1614	feqg_fqup.ma	blob \| history \| raw
-rw-r--r--	2637	feqg_fqus.ma	blob \| history \| raw
-rw-r--r--	1412	feqg_length.ma	blob \| history \| raw
-rw-r--r--	1684	feqx.ma	blob \| history \| raw
-rw-r--r--	2728	feqx_feqx.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--	5486	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
drwxr-xr-x	-	remove	tree \| history
-rw-r--r--	4081	req.ma	blob \| history \| raw
-rw-r--r--	1690	req_req.ma	blob \| history \| raw
-rw-r--r--	8718	reqg.ma	blob \| history \| raw
-rw-r--r--	2691	reqg_drops.ma	blob \| history \| raw
-rw-r--r--	2040	reqg_fqup.ma	blob \| history \| raw
-rw-r--r--	8173	reqg_fqus.ma	blob \| history \| raw
-rw-r--r--	2659	reqg_length.ma	blob \| history \| raw
-rw-r--r--	5862	reqg_reqg.ma	blob \| history \| raw
-rw-r--r--	8108	reqx.ma	blob \| history \| raw
-rw-r--r--	4455	reqx_reqx.ma	blob \| history \| raw
-rw-r--r--	13215	rex.ma	blob \| history \| raw
-rw-r--r--	7522	rex_drops.ma	blob \| history \| raw
-rw-r--r--	2394	rex_fqup.ma	blob \| history \| raw
-rw-r--r--	9989	rex_fsle.ma	blob \| history \| raw
-rw-r--r--	3325	rex_length.ma	blob \| history \| raw
-rw-r--r--	2620	rex_lex.ma	blob \| history \| raw
-rw-r--r--	4146	rex_rex.ma	blob \| history \| raw