]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/lambdaN/
Progress
[helm.git] / matita / matita / lib / lambdaN /
drwxr-xr-x   ..
-rw-r--r-- 6854 arity.ma
-rw-r--r-- 10196 arity_eval.ma
-rw-r--r-- 2552 convertibility.ma
-rw-r--r-- 1781 cube.ma
-rw-r--r-- 4660 ext.ma
-rw-r--r-- 3038 ext_lambda.ma
-rw-r--r-- 4432 inversion.ma
-rw-r--r-- 2986 lambda_notation.ma
-rw-r--r-- 9542 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-- 11875 reduction.ma
-rw-r--r-- 2609 sn.ma
-rw-r--r-- 8246 subject.ma
-rw-r--r-- 9904 subst.ma
-rw-r--r-- 4487 subterms.ma
-rw-r--r-- 1735 terms.ma
-rw-r--r-- 4173 thinning.ma
-rw-r--r-- 6380 types.ma