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

drwxr-xr-x		..
-rw-r--r--	3477	cir.ma	blob \| history \| raw
-rw-r--r--	1787	cir_append.ma	blob \| history \| raw
-rw-r--r--	1600	cir_lift.ma	blob \| history \| raw
-rw-r--r--	4318	cix.ma	blob \| history \| raw
-rw-r--r--	1500	cix_append.ma	blob \| history \| raw
-rw-r--r--	1938	cix_lift.ma	blob \| history \| raw
-rw-r--r--	4383	cnr.ma	blob \| history \| raw
-rw-r--r--	1561	cnr_cir.ma	blob \| history \| raw
-rw-r--r--	2022	cnr_crr.ma	blob \| history \| raw
-rw-r--r--	2604	cnr_lift.ma	blob \| history \| raw
-rw-r--r--	5566	cnx.ma	blob \| history \| raw
-rw-r--r--	1593	cnx_cix.ma	blob \| history \| raw
-rw-r--r--	2165	cnx_crx.ma	blob \| history \| raw
-rw-r--r--	2312	cnx_lift.ma	blob \| history \| raw
-rw-r--r--	14244	cpr.ma	blob \| history \| raw
-rw-r--r--	2286	cpr_cir.ma	blob \| history \| raw
-rw-r--r--	6398	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	15631	cpx.ma	blob \| history \| raw
-rw-r--r--	2425	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	8520	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	5353	crr.ma	blob \| history \| raw
-rw-r--r--	2703	crr_append.ma	blob \| history \| raw
-rw-r--r--	3849	crr_lift.ma	blob \| history \| raw
-rw-r--r--	6062	crx.ma	blob \| history \| raw
-rw-r--r--	1712	crx_append.ma	blob \| history \| raw
-rw-r--r--	4067	crx_lift.ma	blob \| history \| raw
-rw-r--r--	3306	lpr.ma	blob \| history \| raw
-rw-r--r--	2506	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	16871	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	3646	lpx.ma	blob \| history \| raw
-rw-r--r--	3990	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1612	lpx_ldrop.ma	blob \| history \| raw