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

drwxr-xr-x		..
-rw-r--r--	3698	cir.ma	blob \| history \| raw
-rw-r--r--	1831	cir_append.ma	blob \| history \| raw
-rw-r--r--	1644	cir_lift.ma	blob \| history \| raw
-rw-r--r--	4519	cix.ma	blob \| history \| raw
-rw-r--r--	1504	cix_append.ma	blob \| history \| raw
-rw-r--r--	1966	cix_lift.ma	blob \| history \| raw
-rw-r--r--	4654	cnr.ma	blob \| history \| raw
-rw-r--r--	1565	cnr_cir.ma	blob \| history \| raw
-rw-r--r--	2027	cnr_crr.ma	blob \| history \| raw
-rw-r--r--	2655	cnr_lift.ma	blob \| history \| raw
-rw-r--r--	5797	cnx.ma	blob \| history \| raw
-rw-r--r--	1597	cnx_cix.ma	blob \| history \| raw
-rw-r--r--	2169	cnx_crx.ma	blob \| history \| raw
-rw-r--r--	2340	cnx_lift.ma	blob \| history \| raw
-rw-r--r--	15312	cpr.ma	blob \| history \| raw
-rw-r--r--	2315	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--	2459	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	1618	cpx_cpys.ma	blob \| history \| raw
-rw-r--r--	14479	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	4176	cpx_lleq.ma	blob \| history \| raw
-rw-r--r--	5619	crr.ma	blob \| history \| raw
-rw-r--r--	2767	crr_append.ma	blob \| history \| raw
-rw-r--r--	4203	crr_lift.ma	blob \| history \| raw
-rw-r--r--	6327	crx.ma	blob \| history \| raw
-rw-r--r--	1722	crx_append.ma	blob \| history \| raw
-rw-r--r--	4433	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--	4208	lpx_ldrop.ma	blob \| history \| raw
-rw-r--r--	4487	lpx_lleq.ma	blob \| history \| raw