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

drwxr-xr-x		..
-rw-r--r--	2557	acp.ma	blob \| history \| raw
-rw-r--r--	4931	acp_aaa.ma	blob \| history \| raw
-rw-r--r--	7883	acp_cr.ma	blob \| history \| raw
-rw-r--r--	1708	cpe.ma	blob \| history \| raw
-rw-r--r--	1557	cpe_cpe.ma	blob \| history \| raw
-rw-r--r--	8385	cprs.ma	blob \| history \| raw
-rw-r--r--	1434	cprs_aaa.ma	blob \| history \| raw
-rw-r--r--	6586	cprs_cprs.ma	blob \| history \| raw
-rw-r--r--	2627	cprs_lift.ma	blob \| history \| raw
-rw-r--r--	4766	cprs_lpss.ma	blob \| history \| raw
-rw-r--r--	4145	cprs_tstc.ma	blob \| history \| raw
-rw-r--r--	7173	cprs_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	4339	csn.ma	blob \| history \| raw
-rw-r--r--	1368	csn_aaa.ma	blob \| history \| raw
-rw-r--r--	3951	csn_alt.ma	blob \| history \| raw
-rw-r--r--	4350	csn_lift.ma	blob \| history \| raw
-rw-r--r--	6360	csn_lpr.ma	blob \| history \| raw
-rw-r--r--	4611	csn_tstc_vector.ma	blob \| history \| raw
-rw-r--r--	1888	csn_vector.ma	blob \| history \| raw
-rw-r--r--	2903	dxprs.ma	blob \| history \| raw
-rw-r--r--	1459	dxprs_aaa.ma	blob \| history \| raw
-rw-r--r--	2318	dxprs_dxprs.ma	blob \| history \| raw
-rw-r--r--	2053	dxprs_lift.ma	blob \| history \| raw
-rw-r--r--	2607	dxprs_lpss.ma	blob \| history \| raw
-rw-r--r--	2935	lprs.ma	blob \| history \| raw
-rw-r--r--	1446	lprs_aaa.ma	blob \| history \| raw
-rw-r--r--	2262	lprs_alt.ma	blob \| history \| raw
-rw-r--r--	5168	lprs_cprs.ma	blob \| history \| raw
-rw-r--r--	1539	lprs_ldrop.ma	blob \| history \| raw
-rw-r--r--	1558	lprs_lprs.ma	blob \| history \| raw
-rw-r--r--	1337	lprs_lpss.ma	blob \| history \| raw
-rw-r--r--	4453	lsubc.ma	blob \| history \| raw
-rw-r--r--	3078	lsubc_ldrop.ma	blob \| history \| raw
-rw-r--r--	1788	lsubc_ldrops.ma	blob \| history \| raw
-rw-r--r--	1465	lsubc_lsuba.ma	blob \| history \| raw