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

drwxr-xr-x		..
-rw-r--r--	3816	cir.ma	blob \| history \| raw
-rw-r--r--	1863	cir_append.ma	blob \| history \| raw
-rw-r--r--	1660	cir_lift.ma	blob \| history \| raw
-rw-r--r--	4677	cix.ma	blob \| history \| raw
-rw-r--r--	1548	cix_append.ma	blob \| history \| raw
-rw-r--r--	1986	cix_lift.ma	blob \| history \| raw
-rw-r--r--	5202	cnr.ma	blob \| history \| raw
-rw-r--r--	1581	cnr_cir.ma	blob \| history \| raw
-rw-r--r--	2035	cnr_crr.ma	blob \| history \| raw
-rw-r--r--	2422	cnr_lift.ma	blob \| history \| raw
-rw-r--r--	6426	cnx.ma	blob \| history \| raw
-rw-r--r--	1613	cnx_cix.ma	blob \| history \| raw
-rw-r--r--	2189	cnx_crx.ma	blob \| history \| raw
-rw-r--r--	2044	cnx_lift.ma	blob \| history \| raw
-rw-r--r--	15312	cpr.ma	blob \| history \| raw
-rw-r--r--	2343	cpr_cir.ma	blob \| history \| raw
-rw-r--r--	6883	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	16840	cpx.ma	blob \| history \| raw
-rw-r--r--	2493	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	2171	cpx_cpys.ma	blob \| history \| raw
-rw-r--r--	14479	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	4374	cpx_lleq.ma	blob \| history \| raw
-rw-r--r--	5717	crr.ma	blob \| history \| raw
-rw-r--r--	2807	crr_append.ma	blob \| history \| raw
-rw-r--r--	4219	crr_lift.ma	blob \| history \| raw
-rw-r--r--	6433	crx.ma	blob \| history \| raw
-rw-r--r--	1825	crx_append.ma	blob \| history \| raw
-rw-r--r--	4449	crx_lift.ma	blob \| history \| raw
-rw-r--r--	2105	fpb.ma	blob \| history \| raw
-rw-r--r--	1581	fpb_aaa.ma	blob \| history \| raw
-rw-r--r--	1458	fpb_lift.ma	blob \| history \| raw
-rw-r--r--	3505	lpr.ma	blob \| history \| raw
-rw-r--r--	2926	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	18387	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	3989	lpx.ma	blob \| history \| raw
-rw-r--r--	4235	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	3982	lpx_cpys.ma	blob \| history \| raw
-rw-r--r--	4208	lpx_ldrop.ma	blob \| history \| raw
-rw-r--r--	5650	lpx_lleq.ma	blob \| history \| raw