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

drwxr-xr-x		..
-rw-r--r--	3645	cpcs.ma	blob \| history \| raw
-rw-r--r--	8994	cpcs_cpcs.ma	blob \| history \| raw
-rw-r--r--	3558	cpcs_cprs.ma	blob \| history \| raw
-rw-r--r--	4229	cpcs_delift.ma	blob \| history \| raw
-rw-r--r--	2138	cpcs_ltpr.ma	blob \| history \| raw
-rw-r--r--	2078	cpcs_ltpss.ma	blob \| history \| raw
-rw-r--r--	2950	lcpcs.ma	blob \| history \| raw
-rw-r--r--	2091	lcpcs_aaa.ma	blob \| history \| raw
-rw-r--r--	2377	lcpcs_lcpcs.ma	blob \| history \| raw
-rw-r--r--	2320	lcpcs_lcprs.ma	blob \| history \| raw