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

drwxr-xr-x		..
-rw-r--r--	7122	cnv.ma	blob \| history \| raw
-rw-r--r--	3740	cnv_aaa.ma	blob \| history \| raw
-rw-r--r--	1976	cnv_acle.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--	28602	cnv_cpm_conf.ma	blob \| history \| raw
-rw-r--r--	9487	cnv_cpm_teqx.ma	blob \| history \| raw
-rw-r--r--	7693	cnv_cpm_teqx_conf.ma	blob \| history \| raw
-rw-r--r--	5943	cnv_cpm_teqx_trans.ma	blob \| history \| raw
-rw-r--r--	8049	cnv_cpm_trans.ma	blob \| history \| raw
-rw-r--r--	2414	cnv_cpmre.ma	blob \| history \| raw
-rw-r--r--	10464	cnv_cpms_conf.ma	blob \| history \| raw
-rw-r--r--	3608	cnv_cpms_teqx.ma	blob \| history \| raw
-rw-r--r--	4105	cnv_cpms_teqx_conf.ma	blob \| history \| raw
-rw-r--r--	2227	cnv_cpmuwe.ma	blob \| history \| raw
-rw-r--r--	1821	cnv_cpmuwe_cpmre.ma	blob \| history \| raw
-rw-r--r--	4102	cnv_cpts.ma	blob \| history \| raw
-rw-r--r--	7007	cnv_drops.ma	blob \| history \| raw
-rw-r--r--	4562	cnv_eval.ma	blob \| history \| raw
-rw-r--r--	2925	cnv_fqus.ma	blob \| history \| raw
-rw-r--r--	1979	cnv_fsb.ma	blob \| history \| raw
-rw-r--r--	3406	cnv_preserve.ma	blob \| history \| raw
-rw-r--r--	2085	cnv_preserve_cpcs.ma	blob \| history \| raw
-rw-r--r--	2072	cnv_preserve_cpes.ma	blob \| history \| raw
-rw-r--r--	3968	cnv_preserve_sub.ma	blob \| history \| raw
-rw-r--r--	4886	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--	2622	nta_aaa.ma	blob \| history \| raw
-rw-r--r--	3220	nta_cpcs.ma	blob \| history \| raw
-rw-r--r--	3122	nta_cpms.ma	blob \| history \| raw
-rw-r--r--	4249	nta_drops.ma	blob \| history \| raw
-rw-r--r--	1691	nta_eval.ma	blob \| history \| raw
-rw-r--r--	1667	nta_fsb.ma	blob \| history \| raw
-rw-r--r--	7947	nta_ind.ma	blob \| history \| raw
-rw-r--r--	12527	nta_preserve.ma	blob \| history \| raw
-rw-r--r--	2952	nta_preserve_cpcs.ma	blob \| history \| raw