matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambda_delta/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--	8992	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--	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