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

drwxr-xr-x		..
-rw-r--r--	3241	cir.ma	blob \| history \| raw
-rw-r--r--	1751	cir_append.ma	blob \| history \| raw
-rw-r--r--	1582	cir_lift.ma	blob \| history \| raw
-rw-r--r--	4175	cix.ma	blob \| history \| raw
-rw-r--r--	1488	cix_append.ma	blob \| history \| raw
-rw-r--r--	1923	cix_lift.ma	blob \| history \| raw
-rw-r--r--	4189	cnr.ma	blob \| history \| raw
-rw-r--r--	1525	cnr_cir.ma	blob \| history \| raw
-rw-r--r--	2004	cnr_crr.ma	blob \| history \| raw
-rw-r--r--	2568	cnr_lift.ma	blob \| history \| raw
-rw-r--r--	5450	cnx.ma	blob \| history \| raw
-rw-r--r--	1581	cnx_cix.ma	blob \| history \| raw
-rw-r--r--	2159	cnx_crx.ma	blob \| history \| raw
-rw-r--r--	2297	cnx_lift.ma	blob \| history \| raw
-rw-r--r--	14315	cpr.ma	blob \| history \| raw
-rw-r--r--	2389	cpr_cir.ma	blob \| history \| raw
-rw-r--r--	6149	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	15432	cpx.ma	blob \| history \| raw
-rw-r--r--	2419	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	8500	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	5156	crr.ma	blob \| history \| raw
-rw-r--r--	2660	crr_append.ma	blob \| history \| raw
-rw-r--r--	3831	crr_lift.ma	blob \| history \| raw
-rw-r--r--	5940	crx.ma	blob \| history \| raw
-rw-r--r--	1700	crx_append.ma	blob \| history \| raw
-rw-r--r--	4055	crx_lift.ma	blob \| history \| raw
-rw-r--r--	3420	lpr.ma	blob \| history \| raw
-rw-r--r--	2497	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	16008	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	12911	lpr_lpss.ma	blob \| history \| raw
-rw-r--r--	3537	lpx.ma	blob \| history \| raw
-rw-r--r--	3915	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1612	lpx_ldrop.ma	blob \| history \| raw
-rw-r--r--	4011	lsubx.ma	blob \| history \| raw
-rw-r--r--	2491	lsubx_lsubx.ma	blob \| history \| raw