]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1226 | arity.mma | blob | history | raw |
-rw-r--r-- | 1195 | arity_props.mma | blob | history | raw |
-rw-r--r-- | 1216 | dec.mma | blob | history | raw |
-rw-r--r-- | 1142 | defs.mma | blob | history | raw |
-rw-r--r-- | 1226 | fsubst0.mma | blob | history | raw |
-rw-r--r-- | 1186 | fwd.mma | blob | history | raw |
-rw-r--r-- | 1226 | fwd_nf2.mma | blob | history | raw |
-rw-r--r-- | 1218 | nf2.mma | blob | history | raw |
-rw-r--r-- | 1320 | pr3.mma | blob | history | raw |
-rw-r--r-- | 1158 | pr3_props.mma | blob | history | raw |
-rw-r--r-- | 1185 | props.mma | blob | history | raw |
-rw-r--r-- | 1191 | sty0.mma | blob | history | raw |
-rw-r--r-- | 1224 | subst1.mma | blob | history | raw |