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

drwxr-xr-x		..
-rw-r--r--	6816	cnv.ma	blob \| history \| raw
-rw-r--r--	2198	cnv_aaa.ma	blob \| history \| raw
-rw-r--r--	6228	cnv_drops.ma	blob \| history \| raw
-rw-r--r--	3022	cnv_fqus.ma	blob \| history \| raw
-rw-r--r--	1458	cnv_fsb.ma	blob \| history \| raw
-rw-r--r--	7800	lsubsv.ma	blob \| history \| raw
-rw-r--r--	1463	lsubsv_cpcs.ma	blob \| history \| raw
-rw-r--r--	5085	lsubsv_lstas.ma	blob \| history \| raw
-rw-r--r--	1729	lsubsv_lsuba.ma	blob \| history \| raw
-rw-r--r--	1409	lsubsv_lsubd.ma	blob \| history \| raw
-rw-r--r--	1896	lsubsv_scpds.ma	blob \| history \| raw
-rw-r--r--	2413	lsubsv_snv.ma	blob \| history \| raw
-rw-r--r--	54	partial.txt	blob \| history \| raw
-rw-r--r--	2860	shnv.ma	blob \| history \| raw
-rw-r--r--	5018	snv_da_lpr.ma	blob \| history \| raw
-rw-r--r--	7339	snv_lpr.ma	blob \| history \| raw
-rw-r--r--	3725	snv_lstas.ma	blob \| history \| raw
-rw-r--r--	8517	snv_lstas_lpr.ma	blob \| history \| raw
-rw-r--r--	4855	snv_preserve.ma	blob \| history \| raw
-rw-r--r--	13917	snv_scpes.ma	blob \| history \| raw