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

drwxr-xr-x		..
-rw-r--r--	7800	lsubsv.ma	blob \| history \| raw
-rw-r--r--	1463	lsubsv_cpcs.ma	blob \| history \| raw
-rw-r--r--	4624	lsubsv_lstas.ma	blob \| history \| raw
-rw-r--r--	1729	lsubsv_lsuba.ma	blob \| history \| raw
-rw-r--r--	1408	lsubsv_lsubd.ma	blob \| history \| raw
-rw-r--r--	1814	lsubsv_scpds.ma	blob \| history \| raw
-rw-r--r--	2315	lsubsv_snv.ma	blob \| history \| raw
-rw-r--r--	2532	shnv.ma	blob \| history \| raw
-rw-r--r--	1536	shnv_aaa.ma	blob \| history \| raw
-rw-r--r--	5608	snv.ma	blob \| history \| raw
-rw-r--r--	3112	snv_aaa.ma	blob \| history \| raw
-rw-r--r--	5032	snv_da_lpr.ma	blob \| history \| raw
-rw-r--r--	5856	snv_lift.ma	blob \| history \| raw
-rw-r--r--	7382	snv_lpr.ma	blob \| history \| raw
-rw-r--r--	3887	snv_lstas.ma	blob \| history \| raw
-rw-r--r--	8681	snv_lstas_lpr.ma	blob \| history \| raw
-rw-r--r--	2821	snv_preserve.ma	blob \| history \| raw
-rw-r--r--	13920	snv_scpes.ma	blob \| history \| raw