]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/lambda/
Progress
[helm.git] / matita / matita / lib / lambda /
drwxr-xr-x   ..
-rw-r--r-- 6680 CC2FO_K.ma
-rw-r--r-- 1320 CC2FO_K_cube.ma
-rw-r--r-- 6854 arity.ma
-rw-r--r-- 10196 arity_eval.ma
-rw-r--r-- 2576 convertibility.ma
-rw-r--r-- 1781 cube.ma
-rw-r--r-- 6455 degree.ma
-rw-r--r-- 4704 ext.ma
-rw-r--r-- 3046 ext_lambda.ma
-rw-r--r-- 4135 inversion.ma
-rw-r--r-- 3271 lambda_notation.ma
-rw-r--r-- 4246 lift.ma
-rw-r--r-- 9816 par_reduction.ma
-rw-r--r-- 5441 rc_eval.ma
-rw-r--r-- 2485 rc_hsat.ma
-rw-r--r-- 5792 rc_sat.ma
-rw-r--r-- 11283 reduction.ma
-rw-r--r-- 2609 sn.ma
-rw-r--r-- 7936 subject.ma
-rw-r--r-- 7521 subst.ma
-rw-r--r-- 4389 subterms.ma
-rw-r--r-- 1616 terms.ma
-rw-r--r-- 6376 types.ma