]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic_2A/reduction/
made executable again
[helm.git] / matita / matita / contribs / lambdadelta / basic_2A / reduction /
drwxr-xr-x   ..
-rw-r--r-- 3877 cir.ma
-rw-r--r-- 1662 cir_lift.ma
-rw-r--r-- 4680 cix.ma
-rw-r--r-- 1987 cix_lift.ma
-rw-r--r-- 4986 cnr.ma
-rw-r--r-- 1591 cnr_cir.ma
-rw-r--r-- 2049 cnr_crr.ma
-rw-r--r-- 2320 cnr_lift.ma
-rw-r--r-- 6513 cnx.ma
-rw-r--r-- 1623 cnx_cix.ma
-rw-r--r-- 2191 cnx_crx.ma
-rw-r--r-- 2046 cnx_lift.ma
-rw-r--r-- 14080 cpr.ma
-rw-r--r-- 2348 cpr_cir.ma
-rw-r--r-- 6777 cpr_lift.ma
-rw-r--r-- 2864 cpr_llpx_sn.ma
-rw-r--r-- 15847 cpx.ma
-rw-r--r-- 2495 cpx_cix.ma
-rw-r--r-- 14869 cpx_lift.ma
-rw-r--r-- 3061 cpx_lleq.ma
-rw-r--r-- 3039 cpx_llpx_sn.ma
-rw-r--r-- 1714 cpx_lreq.ma
-rw-r--r-- 5698 crr.ma
-rw-r--r-- 4214 crr_lift.ma
-rw-r--r-- 6404 crx.ma
-rw-r--r-- 4444 crx_lift.ma
-rw-r--r-- 2202 fpb.ma
-rw-r--r-- 2219 fpb_fleq.ma
-rw-r--r-- 1592 fpb_lift.ma
-rw-r--r-- 1905 fpb_lleq.ma
-rw-r--r-- 2222 fpbq.ma
-rw-r--r-- 1641 fpbq_aaa.ma
-rw-r--r-- 4232 fpbq_alt.ma
-rw-r--r-- 1464 fpbq_lift.ma
-rw-r--r-- 2692 lpr.ma
-rw-r--r-- 5210 lpr_drop.ma
-rw-r--r-- 18066 lpr_lpr.ma
-rw-r--r-- 3293 lpx.ma
-rw-r--r-- 4231 lpx_aaa.ma
-rw-r--r-- 4197 lpx_drop.ma
-rw-r--r-- 4465 lpx_frees.ma
-rw-r--r-- 7073 lpx_lleq.ma