]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambda_delta/basic_2/reducibility/
- full commit for the transtive closure of ltpss!
[helm.git] / matita / matita / contribs / lambda_delta / basic_2 / reducibility /
drwxr-xr-x   ..
-rw-r--r-- 3095 cif.ma
-rw-r--r-- 1765 cif_append.ma
-rw-r--r-- 2892 cnf.ma
-rw-r--r-- 4200 cnf_cif.ma
-rw-r--r-- 3720 cnf_lift.ma
-rw-r--r-- 3675 cpr.ma
-rw-r--r-- 3065 cpr_cpr.ma
-rw-r--r-- 2027 cpr_delift.ma
-rw-r--r-- 7994 cpr_lift.ma
-rw-r--r-- 2514 cpr_ltpr.ma
-rw-r--r-- 1511 cpr_ltpss.ma
-rw-r--r-- 4545 crf.ma
-rw-r--r-- 2698 crf_append.ma
-rw-r--r-- 2708 fpr.ma
-rw-r--r-- 1811 lcpr.ma
-rw-r--r-- 1757 lcpr_aaa.ma
-rw-r--r-- 1638 lcpr_cpr.ma
-rw-r--r-- 2001 lcpr_lcpr.ma
-rw-r--r-- 3611 lfpr_alt.ma
-rw-r--r-- 2359 ltpr.ma
-rw-r--r-- 4665 ltpr_aaa.ma
-rw-r--r-- 1504 ltpr_ldrop.ma
-rw-r--r-- 1601 ltpr_ltpr.ma
-rw-r--r-- 1957 ltpr_ltpss_dx.ma
-rw-r--r-- 1694 ltpr_ltpss_sn.ma
-rw-r--r-- 2834 ltpr_tps.ma
-rw-r--r-- 2453 thnf.ma
-rw-r--r-- 10664 tpr.ma
-rw-r--r-- 1572 tpr_delift.ma
-rw-r--r-- 6086 tpr_lift.ma
-rw-r--r-- 11719 tpr_tpr.ma
-rw-r--r-- 5488 tpr_tpss.ma
-rw-r--r-- 1764 xpr.ma
-rw-r--r-- 1443 xpr_aaa.ma
-rw-r--r-- 2480 xpr_lift.ma