]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 13012 | arity.ma | blob | history | raw |
-rw-r--r-- | 6397 | arity_props.ma | blob | history | raw |
-rw-r--r-- | 31891 | dec.ma | blob | history | raw |
-rw-r--r-- | 2795 | defs.ma | blob | history | raw |
-rw-r--r-- | 72715 | fsubst0.ma | blob | history | raw |
-rw-r--r-- | 67463 | fwd.ma | blob | history | raw |
-rw-r--r-- | 19774 | fwd_nf2.ma | blob | history | raw |
-rw-r--r-- | 32165 | nf2.ma | blob | history | raw |
-rw-r--r-- | 49324 | pr3.ma | blob | history | raw |
-rw-r--r-- | 35488 | pr3_props.ma | blob | history | raw |
-rw-r--r-- | 48703 | props.ma | blob | history | raw |
-rw-r--r-- | 16811 | sty0.ma | blob | history | raw |
-rw-r--r-- | 82181 | subst1.ma | blob | history | raw |