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

drwxr-xr-x		..
-rw-r--r--	7802	lsubsv.ma	blob \| history \| raw
-rw-r--r--	1465	lsubsv_cpcs.ma	blob \| history \| raw
-rw-r--r--	5087	lsubsv_lstas.ma	blob \| history \| raw
-rw-r--r--	1732	lsubsv_lsuba.ma	blob \| history \| raw
-rw-r--r--	1410	lsubsv_lsubd.ma	blob \| history \| raw
-rw-r--r--	1898	lsubsv_scpds.ma	blob \| history \| raw
-rw-r--r--	2414	lsubsv_snv.ma	blob \| history \| raw
-rw-r--r--	2863	shnv.ma	blob \| history \| raw
-rw-r--r--	5649	snv.ma	blob \| history \| raw
-rw-r--r--	2654	snv_aaa.ma	blob \| history \| raw
-rw-r--r--	5020	snv_da_lpr.ma	blob \| history \| raw
-rw-r--r--	1410	snv_fsb.ma	blob \| history \| raw
-rw-r--r--	5680	snv_lift.ma	blob \| history \| raw
-rw-r--r--	7343	snv_lpr.ma	blob \| history \| raw
-rw-r--r--	3727	snv_lstas.ma	blob \| history \| raw
-rw-r--r--	8520	snv_lstas_lpr.ma	blob \| history \| raw
-rw-r--r--	4860	snv_preserve.ma	blob \| history \| raw
-rw-r--r--	13921	snv_scpes.ma	blob \| history \| raw