]>
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-- | 2552 | convertibility.ma | blob | history | raw |
-rw-r--r-- | 1781 | cube.ma | blob | history | raw |
-rw-r--r-- | 5304 | degree.ma | blob | history | raw |
-rw-r--r-- | 4660 | ext.ma | blob | history | raw |
-rw-r--r-- | 3046 | ext_lambda.ma | blob | history | raw |
-rw-r--r-- | 4135 | inversion.ma | blob | history | raw |
-rw-r--r-- | 3085 | lambda_notation.ma | blob | history | raw |
-rw-r--r-- | 9816 | 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-- | 5792 | rc_sat.ma | blob | history | raw |
-rw-r--r-- | 11283 | reduction.ma | blob | history | raw |
-rw-r--r-- | 2609 | sn.ma | blob | history | raw |
-rw-r--r-- | 7936 | 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-- | 1616 | terms.ma | blob | history | raw |
-rw-r--r-- | 6376 | types.ma | blob | history | raw |