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

drwxr-xr-x		..
-rw-r--r--	5865	lsubsv.ma	blob \| history \| raw
-rw-r--r--	1463	lsubsv_cpcs.ma	blob \| history \| raw
-rw-r--r--	3998	lsubsv_cpds.ma	blob \| history \| raw
-rw-r--r--	2862	lsubsv_ldrop.ma	blob \| history \| raw
-rw-r--r--	1663	lsubsv_lsuba.ma	blob \| history \| raw
-rw-r--r--	3603	lsubsv_snv.ma	blob \| history \| raw
-rw-r--r--	2895	lsubsv_ssta.ma	blob \| history \| raw
-rw-r--r--	6444	snv.ma	blob \| history \| raw
-rw-r--r--	2203	snv_aaa.ma	blob \| history \| raw
-rw-r--r--	10155	snv_cpcs.ma	blob \| history \| raw
-rw-r--r--	4850	snv_lift.ma	blob \| history \| raw
-rw-r--r--	8199	snv_lpr.ma	blob \| history \| raw
-rw-r--r--	3265	snv_ssta.ma	blob \| history \| raw
-rw-r--r--	7616	snv_ssta_lpr.ma	blob \| history \| raw
-rw-r--r--	1537	snv_sstas.ma	blob \| history \| raw
-rw-r--r--	4768	ygt.ma	blob \| history \| raw
-rw-r--r--	1304	ygt_ygt.ma	blob \| history \| raw
-rw-r--r--	2010	ypr.ma	blob \| history \| raw
-rw-r--r--	4325	yprs.ma	blob \| history \| raw
-rw-r--r--	1195	yprs_yprs.ma	blob \| history \| raw
-rw-r--r--	2608	ysc.ma	blob \| history \| raw