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

drwxr-xr-x		..
-rw-r--r--	4290	cpcs.ma	blob \| history \| raw
-rw-r--r--	1644	cpcs_aaa.ma	blob \| history \| raw
-rw-r--r--	9697	cpcs_cpcs.ma	blob \| history \| raw
-rw-r--r--	2807	cpcs_cprs.ma	blob \| history \| raw
-rw-r--r--	2076	cpcs_delift.ma	blob \| history \| raw
-rw-r--r--	2138	cpcs_ltpr.ma	blob \| history \| raw
-rw-r--r--	2648	cpcs_ltpss_dx.ma	blob \| history \| raw
-rw-r--r--	1576	cpcs_ltpss_sn.ma	blob \| history \| raw
-rw-r--r--	3710	fpcs.ma	blob \| history \| raw
-rw-r--r--	1673	fpcs_aaa.ma	blob \| history \| raw
-rw-r--r--	4420	fpcs_cpcs.ma	blob \| history \| raw
-rw-r--r--	3364	fpcs_fpcs.ma	blob \| history \| raw
-rw-r--r--	3178	fpcs_fprs.ma	blob \| history \| raw
-rw-r--r--	3209	lfpcs.ma	blob \| history \| raw
-rw-r--r--	1660	lfpcs_aaa.ma	blob \| history \| raw
-rw-r--r--	2754	lfpcs_fpcs.ma	blob \| history \| raw
-rw-r--r--	2503	lfpcs_lfpcs.ma	blob \| history \| raw
-rw-r--r--	2472	lfpcs_lfprs.ma	blob \| history \| raw
-rw-r--r--	5469	lsubse.ma	blob \| history \| raw
-rw-r--r--	1449	lsubse_cpcs.ma	blob \| history \| raw
-rw-r--r--	2856	lsubse_ldrop.ma	blob \| history \| raw
-rw-r--r--	2722	lsubse_ssta.ma	blob \| history \| raw