]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 14088 | arity.ma | blob | history | raw |
-rw-r--r-- | 6702 | arity_props.ma | blob | history | raw |
-rw-r--r-- | 34579 | dec.ma | blob | history | raw |
-rw-r--r-- | 2624 | defs.ma | blob | history | raw |
-rw-r--r-- | 74943 | fsubst0.ma | blob | history | raw |
-rw-r--r-- | 70500 | fwd.ma | blob | history | raw |
-rw-r--r-- | 32977 | nf2.ma | blob | history | raw |
-rw-r--r-- | 54789 | pr3.ma | blob | history | raw |
-rw-r--r-- | 36453 | pr3_props.ma | blob | history | raw |
-rw-r--r-- | 34834 | props.ma | blob | history | raw |
-rw-r--r-- | 87199 | subst1.ma | blob | history | raw |
-rw-r--r-- | 47463 | tau0.ma | blob | history | raw |