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

drwxr-xr-x		..
-rw-r--r--	3576	cir.ma	blob \| history \| raw
-rw-r--r--	1831	cir_append.ma	blob \| history \| raw
-rw-r--r--	1622	cir_lift.ma	blob \| history \| raw
-rw-r--r--	4374	cix.ma	blob \| history \| raw
-rw-r--r--	1504	cix_append.ma	blob \| history \| raw
-rw-r--r--	1947	cix_lift.ma	blob \| history \| raw
-rw-r--r--	4468	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--	2642	cnr_lift.ma	blob \| history \| raw
-rw-r--r--	5633	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--	2327	cnx_lift.ma	blob \| history \| raw
-rw-r--r--	14489	cpr.ma	blob \| history \| raw
-rw-r--r--	2315	cpr_cir.ma	blob \| history \| raw
-rw-r--r--	6477	cpr_lift.ma	blob \| history \| raw
-rw-r--r--	15530	cpx.ma	blob \| history \| raw
-rw-r--r--	2459	cpx_cix.ma	blob \| history \| raw
-rw-r--r--	9763	cpx_lift.ma	blob \| history \| raw
-rw-r--r--	5559	crr.ma	blob \| history \| raw
-rw-r--r--	2767	crr_append.ma	blob \| history \| raw
-rw-r--r--	3878	crr_lift.ma	blob \| history \| raw
-rw-r--r--	6162	crx.ma	blob \| history \| raw
-rw-r--r--	1722	crx_append.ma	blob \| history \| raw
-rw-r--r--	4077	crx_lift.ma	blob \| history \| raw
-rw-r--r--	3505	lpr.ma	blob \| history \| raw
-rw-r--r--	2628	lpr_ldrop.ma	blob \| history \| raw
-rw-r--r--	18206	lpr_lpr.ma	blob \| history \| raw
-rw-r--r--	3715	lpx.ma	blob \| history \| raw
-rw-r--r--	4117	lpx_aaa.ma	blob \| history \| raw
-rw-r--r--	1624	lpx_ldrop.ma	blob \| history \| raw