]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1293 | arity.mma | blob | history | raw |
-rw-r--r-- | 1210 | clear.mma | blob | history | raw |
-rw-r--r-- | 1120 | defs.mma | blob | history | raw |
-rw-r--r-- | 1207 | drop.mma | blob | history | raw |
-rw-r--r-- | 1169 | fwd.mma | blob | history | raw |
-rw-r--r-- | 1251 | getl.mma | blob | history | raw |
-rw-r--r-- | 1171 | props.mma | blob | history | raw |