]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambdadelta/basic_2/rt_computation/
update in ground_2, static_2, basic_2, apps_2, alpha_1
[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation /
drwxr-xr-x   ..
-rw-r--r-- 3147 cnuw.ma
-rw-r--r-- 4468 cnuw_cnuw.ma
-rw-r--r-- 2887 cnuw_drops.ma
-rw-r--r-- 1921 cnuw_simple.ma
-rw-r--r-- 2042 cpmre.ma
-rw-r--r-- 1696 cpmre_aaa.ma
-rw-r--r-- 8981 cpms.ma
-rw-r--r-- 2522 cpms_aaa.ma
-rw-r--r-- 8400 cpms_cpms.ma
-rw-r--r-- 1543 cpms_cpxs.ma
-rw-r--r-- 8974 cpms_drops.ma
-rw-r--r-- 2583 cpms_fpbg.ma
-rw-r--r-- 1453 cpms_fpbs.ma
-rw-r--r-- 3351 cpms_lpr.ma
-rw-r--r-- 1424 cpms_lsubr.ma
-rw-r--r-- 1712 cpms_reqx.ma
-rw-r--r-- 2912 cpmuwe.ma
-rw-r--r-- 1629 cpmuwe_cpmuwe.ma
-rw-r--r-- 2087 cpmuwe_csx.ma
-rw-r--r-- 1377 cprre.ma
-rw-r--r-- 1531 cprre_cpms.ma
-rw-r--r-- 2134 cprre_cprre.ma
-rw-r--r-- 1802 cprre_csx.ma
-rw-r--r-- 4406 cprs.ma
-rw-r--r-- 1581 cprs_cnr.ma
-rw-r--r-- 1576 cprs_cpr.ma
-rw-r--r-- 3460 cprs_cprs.ma
-rw-r--r-- 1635 cprs_ctc.ma
-rw-r--r-- 1760 cprs_drops.ma
-rw-r--r-- 1397 cprs_ext.ma
-rw-r--r-- 2607 cprs_lpr.ma
-rw-r--r-- 1890 cprs_tweq.ma
-rw-r--r-- 6127 cpts.ma
-rw-r--r-- 2538 cpts_aaa.ma
-rw-r--r-- 1796 cpts_cpms.ma
-rw-r--r-- 8324 cpts_drops.ma
-rw-r--r-- 7279 cpxs.ma
-rw-r--r-- 1375 cpxs_aaa.ma
-rw-r--r-- 1711 cpxs_cnx.ma
-rw-r--r-- 5131 cpxs_cpxs.ma
-rw-r--r-- 5366 cpxs_drops.ma
-rw-r--r-- 1399 cpxs_ext.ma
-rw-r--r-- 1808 cpxs_feqx.ma
-rw-r--r-- 6887 cpxs_fqus.ma
-rw-r--r-- 4300 cpxs_lpx.ma
-rw-r--r-- 1369 cpxs_lsubr.ma
-rw-r--r-- 2590 cpxs_reqx.ma
-rw-r--r-- 4951 cpxs_teqo.ma
-rw-r--r-- 8480 cpxs_teqo_vector.ma
-rw-r--r-- 2414 cpxs_teqx.ma
-rw-r--r-- 4934 csx.ma
-rw-r--r-- 3200 csx_aaa.ma
-rw-r--r-- 1590 csx_cnx.ma
-rw-r--r-- 2286 csx_cnx_vector.ma
-rw-r--r-- 3583 csx_cpxs.ma
-rw-r--r-- 3848 csx_csx.ma
-rw-r--r-- 4278 csx_csx_vector.ma
-rw-r--r-- 2012 csx_drops.ma
-rw-r--r-- 1528 csx_feqx.ma
-rw-r--r-- 1679 csx_fpbq.ma
-rw-r--r-- 2586 csx_fqus.ma
-rw-r--r-- 1481 csx_gcp.ma
-rw-r--r-- 1608 csx_gcr.ma
-rw-r--r-- 4978 csx_lpx.ma
-rw-r--r-- 1502 csx_lpxs.ma
-rw-r--r-- 3676 csx_lsubr.ma
-rw-r--r-- 1880 csx_reqx.ma
-rw-r--r-- 1990 csx_simple.ma
-rw-r--r-- 2419 csx_simple_teqo.ma
-rw-r--r-- 2155 csx_vector.ma
-rw-r--r-- 3428 fpbg.ma
-rw-r--r-- 1861 fpbg_cpxs.ma
-rw-r--r-- 1317 fpbg_fpbg.ma
-rw-r--r-- 4830 fpbg_fpbs.ma
-rw-r--r-- 1827 fpbg_fqup.ma
-rw-r--r-- 1582 fpbg_lpxs.ma
-rw-r--r-- 4050 fpbs.ma
-rw-r--r-- 1613 fpbs_aaa.ma
-rw-r--r-- 2359 fpbs_cpx.ma
-rw-r--r-- 3134 fpbs_cpxs.ma
-rw-r--r-- 1577 fpbs_csx.ma
-rw-r--r-- 1425 fpbs_fpb.ma
-rw-r--r-- 1299 fpbs_fpbs.ma
-rw-r--r-- 2537 fpbs_fqup.ma
-rw-r--r-- 2105 fpbs_fqus.ma
-rw-r--r-- 5870 fpbs_lpxs.ma
-rw-r--r-- 2259 fsb.ma
-rw-r--r-- 3560 fsb_aaa.ma
-rw-r--r-- 4020 fsb_csx.ma
-rw-r--r-- 1597 fsb_feqx.ma
-rw-r--r-- 3480 fsb_fpbg.ma
-rw-r--r-- 4221 jsx.ma
-rw-r--r-- 2746 jsx_csx.ma
-rw-r--r-- 3179 jsx_drops.ma
-rw-r--r-- 1650 jsx_jsx.ma
-rw-r--r-- 1389 jsx_lsubr.ma
-rw-r--r-- 3664 jsx_rsx.ma
-rw-r--r-- 3784 lprs.ma
-rw-r--r-- 1378 lprs_aaa.ma
-rw-r--r-- 5209 lprs_cpms.ma
-rw-r--r-- 3255 lprs_cprs.ma
-rw-r--r-- 1651 lprs_ctc.ma
-rw-r--r-- 1783 lprs_drops.ma
-rw-r--r-- 1370 lprs_length.ma
-rw-r--r-- 2956 lprs_lpr.ma
-rw-r--r-- 1645 lprs_lprs.ma
-rw-r--r-- 1527 lprs_lpxs.ma
-rw-r--r-- 1714 lprs_tc.ma
-rw-r--r-- 3996 lpxs.ma
-rw-r--r-- 1442 lpxs_aaa.ma
-rw-r--r-- 3360 lpxs_cpxs.ma
-rw-r--r-- 1759 lpxs_drops.ma
-rw-r--r-- 1700 lpxs_feqx.ma
-rw-r--r-- 1370 lpxs_length.ma
-rw-r--r-- 3620 lpxs_lpx.ma
-rw-r--r-- 1366 lpxs_lpxs.ma
-rw-r--r-- 2588 lpxs_reqx.ma
-rw-r--r-- 3843 rsx.ma
-rw-r--r-- 5734 rsx_csx.ma
-rw-r--r-- 3023 rsx_drops.ma
-rw-r--r-- 2361 rsx_fqup.ma
-rw-r--r-- 1914 rsx_length.ma
-rw-r--r-- 6421 rsx_lpxs.ma
-rw-r--r-- 1894 rsx_rsx.ma