]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 23343 | arity.ma | blob | history | raw |
-rw-r--r-- | 9377 | arity_props.ma | blob | history | raw |
-rw-r--r-- | 31893 | dec.ma | blob | history | raw |
-rw-r--r-- | 2795 | defs.ma | blob | history | raw |
-rw-r--r-- | 72721 | fsubst0.ma | blob | history | raw |
-rw-r--r-- | 67457 | fwd.ma | blob | history | raw |
-rw-r--r-- | 32621 | fwd_nf2.ma | blob | history | raw |
-rw-r--r-- | 59325 | nf2.ma | blob | history | raw |
-rw-r--r-- | 49334 | pr3.ma | blob | history | raw |
-rw-r--r-- | 35498 | pr3_props.ma | blob | history | raw |
-rw-r--r-- | 90897 | props.ma | blob | history | raw |
-rw-r--r-- | 29180 | sty0.ma | blob | history | raw |
-rw-r--r-- | 82185 | subst1.ma | blob | history | raw |