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

drwxr-xr-x		..
-rw-r--r--	7084	cnv.ma	blob \| history \| raw
-rw-r--r--	3732	cnv_aaa.ma	blob \| history \| raw
-rw-r--r--	1976	cnv_acle.ma	blob \| history \| raw
-rw-r--r--	3246	cnv_cpce.ma	blob \| history \| raw
-rw-r--r--	1101	cnv_cpce_etc.ma	blob \| history \| raw
-rw-r--r--	1610	cnv_cpcs.ma	blob \| history \| raw
-rw-r--r--	3737	cnv_cpes.ma	blob \| history \| raw
-rw-r--r--	28575	cnv_cpm_conf.ma	blob \| history \| raw
-rw-r--r--	9454	cnv_cpm_tdeq.ma	blob \| history \| raw
-rw-r--r--	7626	cnv_cpm_tdeq_conf.ma	blob \| history \| raw
-rw-r--r--	5950	cnv_cpm_tdeq_trans.ma	blob \| history \| raw
-rw-r--r--	8057	cnv_cpm_trans.ma	blob \| history \| raw
-rw-r--r--	2437	cnv_cpme.ma	blob \| history \| raw
-rw-r--r--	10446	cnv_cpms_conf.ma	blob \| history \| raw
-rw-r--r--	3617	cnv_cpms_tdeq.ma	blob \| history \| raw
-rw-r--r--	4107	cnv_cpms_tdeq_conf.ma	blob \| history \| raw
-rw-r--r--	2227	cnv_cpmuwe.ma	blob \| history \| raw
-rw-r--r--	1815	cnv_cpmuwe_cpme.ma	blob \| history \| raw
-rw-r--r--	7011	cnv_drops.ma	blob \| history \| raw
-rw-r--r--	4561	cnv_eval.ma	blob \| history \| raw
-rw-r--r--	2926	cnv_fqus.ma	blob \| history \| raw
-rw-r--r--	1994	cnv_fsb.ma	blob \| history \| raw
-rw-r--r--	3402	cnv_preserve.ma	blob \| history \| raw
-rw-r--r--	2085	cnv_preserve_cpcs.ma	blob \| history \| raw
-rw-r--r--	2063	cnv_preserve_cpes.ma	blob \| history \| raw
-rw-r--r--	4311	cnv_preserve_sub.ma	blob \| history \| raw
-rw-r--r--	4884	lsubv.ma	blob \| history \| raw
-rw-r--r--	1911	lsubv_cnv.ma	blob \| history \| raw
-rw-r--r--	1426	lsubv_cpcs.ma	blob \| history \| raw
-rw-r--r--	1464	lsubv_cpms.ma	blob \| history \| raw
-rw-r--r--	3108	lsubv_drops.ma	blob \| history \| raw
-rw-r--r--	1782	lsubv_lsuba.ma	blob \| history \| raw
-rw-r--r--	1436	lsubv_lsubr.ma	blob \| history \| raw
-rw-r--r--	1668	lsubv_lsubv.ma	blob \| history \| raw
-rw-r--r--	3561	nta.ma	blob \| history \| raw
-rw-r--r--	2623	nta_aaa.ma	blob \| history \| raw
-rw-r--r--	3221	nta_cpcs.ma	blob \| history \| raw
-rw-r--r--	3122	nta_cpms.ma	blob \| history \| raw
-rw-r--r--	4256	nta_drops.ma	blob \| history \| raw
-rw-r--r--	1691	nta_eval.ma	blob \| history \| raw
-rw-r--r--	1674	nta_fsb.ma	blob \| history \| raw
-rw-r--r--	7956	nta_ind.ma	blob \| history \| raw
-rw-r--r--	12488	nta_preserve.ma	blob \| history \| raw
-rw-r--r--	2946	nta_preserve_cpcs.ma	blob \| history \| raw