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

drwxr-xr-x		..
-rw-r--r--	3297	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--	4231	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--	4221	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--	5485	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--	13785	cpr.ma	blob \| history \| raw
-rw-r--r--	2268	cpr_cir.ma	blob \| history \| raw
-rw-r--r--	6398	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	15400	cpx.ma	blob \| history \| raw
-rw-r--r--	2419	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	8496	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	5209	crr.ma	blob \| history \| raw
-rw-r--r--	2658	crr_append.ma	blob \| history \| raw
-rw-r--r--	3831	crr_lift.ma	blob \| history \| raw
-rw-r--r--	5993	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--	3288	lpr.ma	blob \| history \| raw
-rw-r--r--	2497	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	16439	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	3583	lpx.ma	blob \| history \| raw
-rw-r--r--	3933	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1612	lpx_ldrop.ma	blob \| history \| raw