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

drwxr-xr-x		..
-rw-r--r--	7662	cnv.ma	blob \| history \| raw
-rw-r--r--	2521	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--	7983	cnv_cpm_tdeq_conf.ma	blob \| history \| raw
-rw-r--r--	6023	cnv_cpm_tdeq_trans.ma	blob \| history \| raw
-rw-r--r--	8047	cnv_cpm_trans.ma	blob \| history \| raw
-rw-r--r--	10644	cnv_cpms_conf.ma	blob \| history \| raw
-rw-r--r--	3692	cnv_cpms_tdeq.ma	blob \| history \| raw
-rw-r--r--	4169	cnv_cpms_tdeq_conf.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--	2838	cnv_preserve.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--	5352	nta.ma	blob \| history \| raw
-rw-r--r--	2534	nta_cpcs.ma	blob \| history \| raw
-rw-r--r--	2470	nta_cpms.ma	blob \| history \| raw
-rw-r--r--	4139	nta_drops.ma	blob \| history \| raw
-rw-r--r--	5600	nta_preserve.ma	blob \| history \| raw