]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 6854 | arity.ma | blob | history | raw |
-rw-r--r-- | 10196 | arity_eval.ma | blob | history | raw |
-rw-r--r-- | 13724 | convertibility.ma | blob | history | raw |
-rw-r--r-- | 4660 | ext.ma | blob | history | raw |
-rw-r--r-- | 3038 | ext_lambda.ma | blob | history | raw |
-rw-r--r-- | 4052 | inversion.ma | blob | history | raw |
-rw-r--r-- | 3029 | lambda_notation.ma | blob | history | raw |
-rw-r--r-- | 16934 | par_reduction.ma | blob | history | raw |
-rw-r--r-- | 5441 | rc_eval.ma | blob | history | raw |
-rw-r--r-- | 2485 | rc_hsat.ma | blob | history | raw |
-rw-r--r-- | 5830 | rc_sat.ma | blob | history | raw |
-rw-r--r-- | 12548 | reduction.ma | blob | history | raw |
-rw-r--r-- | 2621 | sn.ma | blob | history | raw |
-rw-r--r-- | 9053 | subject.ma | blob | history | raw |
-rw-r--r-- | 10241 | subst.ma | blob | history | raw |
-rw-r--r-- | 4389 | subterms.ma | blob | history | raw |
-rw-r--r-- | 1611 | terms.ma | blob | history | raw |
-rw-r--r-- | 7464 | types.ma | blob | history | raw |