]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1250 | arity.mma | blob | history | raw |
-rw-r--r-- | 1213 | arity_props.mma | blob | history | raw |
-rw-r--r-- | 1240 | dec.mma | blob | history | raw |
-rw-r--r-- | 1154 | defs.mma | blob | history | raw |
-rw-r--r-- | 1250 | fsubst0.mma | blob | history | raw |
-rw-r--r-- | 1204 | fwd.mma | blob | history | raw |
-rw-r--r-- | 1250 | fwd_nf2.mma | blob | history | raw |
-rw-r--r-- | 1242 | nf2.mma | blob | history | raw |
-rw-r--r-- | 1362 | pr3.mma | blob | history | raw |
-rw-r--r-- | 1170 | pr3_props.mma | blob | history | raw |
-rw-r--r-- | 1203 | props.mma | blob | history | raw |
-rw-r--r-- | 1209 | sty0.mma | blob | history | raw |
-rw-r--r-- | 1248 | subst1.mma | blob | history | raw |