matita.cs.unibo.it Git - helm.git/tree

-rw-r--r--	4286	cpcs.ma	blob \| raw
-rw-r--r--	1644	cpcs_aaa.ma	blob \| raw
-rw-r--r--	9696	cpcs_cpcs.ma	blob \| raw
-rw-r--r--	2807	cpcs_cprs.ma	blob \| raw
-rw-r--r--	2076	cpcs_delift.ma	blob \| raw
-rw-r--r--	2138	cpcs_ltpr.ma	blob \| raw
-rw-r--r--	2648	cpcs_ltpss_dx.ma	blob \| raw
-rw-r--r--	1576	cpcs_ltpss_sn.ma	blob \| raw
-rw-r--r--	3710	fpcs.ma	blob \| raw
-rw-r--r--	1673	fpcs_aaa.ma	blob \| raw
-rw-r--r--	4420	fpcs_cpcs.ma	blob \| raw
-rw-r--r--	3364	fpcs_fpcs.ma	blob \| raw
-rw-r--r--	3178	fpcs_fprs.ma	blob \| raw
-rw-r--r--	3209	lfpcs.ma	blob \| raw
-rw-r--r--	1660	lfpcs_aaa.ma	blob \| raw
-rw-r--r--	2754	lfpcs_fpcs.ma	blob \| raw
-rw-r--r--	2503	lfpcs_lfpcs.ma	blob \| raw
-rw-r--r--	2472	lfpcs_lfprs.ma	blob \| raw
-rw-r--r--	5468	lsubss.ma	blob \| raw
-rw-r--r--	1446	lsubss_cpcs.ma	blob \| raw
-rw-r--r--	2844	lsubss_ldrop.ma	blob \| raw
-rw-r--r--	2734	lsubss_ssta.ma	blob \| raw