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--	6306	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--	1727	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--	9600	frees.ma	blob \| history \| raw
-rw-r--r--	2580	frees_append.ma	blob \| history \| raw
-rw-r--r--	11044	frees_drops.ma	blob \| history \| raw
-rw-r--r--	6663	frees_fqup.ma	blob \| history \| raw
-rw-r--r--	2415	frees_frees.ma	blob \| history \| raw
-rw-r--r--	2042	fsle.ma	blob \| history \| raw
-rw-r--r--	3956	fsle_drops.ma	blob \| history \| raw
-rw-r--r--	4549	fsle_fqup.ma	blob \| history \| raw
-rw-r--r--	7687	fsle_fsle.ma	blob \| history \| raw
-rw-r--r--	2115	fsle_length.ma	blob \| history \| raw
-rw-r--r--	2213	gcp.ma	blob \| history \| raw
-rw-r--r--	5490	gcp_aaa.ma	blob \| history \| raw
-rw-r--r--	8050	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--	19266	lsubf.ma	blob \| history \| raw
-rw-r--r--	2693	lsubf_frees.ma	blob \| history \| raw
-rw-r--r--	4555	lsubf_lsubf.ma	blob \| history \| raw
-rw-r--r--	4098	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--	4084	req.ma	blob \| history \| raw
-rw-r--r--	1690	req_req.ma	blob \| history \| raw
-rw-r--r--	8730	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--	5865	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--	13245	rex.ma	blob \| history \| raw
-rw-r--r--	7522	rex_drops.ma	blob \| history \| raw
-rw-r--r--	2407	rex_fqup.ma	blob \| history \| raw
-rw-r--r--	10033	rex_fsle.ma	blob \| history \| raw
-rw-r--r--	3325	rex_length.ma	blob \| history \| raw
-rw-r--r--	2622	rex_lex.ma	blob \| history \| raw
-rw-r--r--	4151	rex_rex.ma	blob \| history \| raw