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

drwxr-xr-x		..
-rw-r--r--	3775	cpcs.ma	blob \| history \| raw
-rw-r--r--	1644	cpcs_aaa.ma	blob \| history \| raw
-rw-r--r--	8991	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--	2105	cpcs_ltpss.ma	blob \| history \| raw
-rw-r--r--	3594	fpcs.ma	blob \| history \| raw
-rw-r--r--	1673	fpcs_aaa.ma	blob \| history \| raw
-rw-r--r--	1493	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--	3113	lfpcs.ma	blob \| history \| raw
-rw-r--r--	1660	lfpcs_aaa.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--	1480	lsubse_ssta.ma	blob \| history \| raw