]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/contribs/lambda_delta/Basic_2/substitution/
- first properties of strongly normalizing terms
[helm.git] / matita / matita / contribs / lambda_delta / Basic_2 / substitution /
drwxr-xr-x   ..
-rw-r--r-- 3253 gdrop.ma
-rw-r--r-- 1763 gdrop_gdrop.ma
-rw-r--r-- 9251 ldrop.ma
-rw-r--r-- 5486 ldrop_ldrop.ma
-rw-r--r-- 14015 lift.ma
-rw-r--r-- 9544 lift_lift.ma
-rw-r--r-- 1634 lift_lift_vector.ma
-rw-r--r-- 2690 lift_vector.ma
-rw-r--r-- 7960 ltps.ma
-rw-r--r-- 6273 ltps_ldrop.ma
-rw-r--r-- 6061 ltps_tps.ma
-rw-r--r-- 9686 tps.ma
-rw-r--r-- 15111 tps_lift.ma
-rw-r--r-- 6570 tps_tps.ma