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

drwxr-xr-x		..
-rw-r--r--	7383	cnv.ma	blob \| history \| raw
-rw-r--r--	2198	cnv_aaa.ma	blob \| history \| raw
-rw-r--r--	28860	cnv_cpm_conf.ma	blob \| history \| raw
-rw-r--r--	10479	cnv_cpm_tdeq.ma	blob \| history \| raw
-rw-r--r--	6028	cnv_cpm_tdeq_trans.ma	blob \| history \| raw
-rw-r--r--	2681	cnv_cpm_tdpos.ma	blob \| history \| raw
-rw-r--r--	8047	cnv_cpm_trans.ma	blob \| history \| raw
-rw-r--r--	5855	cnv_cpms_conf.ma	blob \| history \| raw
-rw-r--r--	3683	cnv_cpms_tdeq.ma	blob \| history \| raw
-rw-r--r--	2135	cnv_cpms_tdpos.ma	blob \| history \| raw
-rw-r--r--	6646	cnv_drops.ma	blob \| history \| raw
-rw-r--r--	3022	cnv_fqus.ma	blob \| history \| raw
-rw-r--r--	1742	cnv_fsb.ma	blob \| history \| raw
-rw-r--r--	4598	cnv_preserve_sub.ma	blob \| history \| raw
-rw-r--r--	5227	lsubv.ma	blob \| history \| raw
-rw-r--r--	1945	lsubv_cnv.ma	blob \| history \| raw
-rw-r--r--	1426	lsubv_cpcs.ma	blob \| history \| raw
-rw-r--r--	1458	lsubv_cpms.ma	blob \| history \| raw
-rw-r--r--	3249	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--	4855	snv_preserve.etc	blob \| history \| raw