]>
-rw-r--r-- | 13104 | arity.ma | blob | raw |
-rw-r--r-- | 6555 | arity_props.ma | blob | raw |
-rw-r--r-- | 32359 | dec.ma | blob | raw |
-rw-r--r-- | 2795 | defs.ma | blob | raw |
-rw-r--r-- | 73642 | fsubst0.ma | blob | raw |
-rw-r--r-- | 66278 | fwd.ma | blob | raw |
-rw-r--r-- | 20180 | fwd_nf2.ma | blob | raw |
-rw-r--r-- | 32471 | nf2.ma | blob | raw |
-rw-r--r-- | 52283 | pr3.ma | blob | raw |
-rw-r--r-- | 35769 | pr3_props.ma | blob | raw |
-rw-r--r-- | 49275 | props.ma | blob | raw |
-rw-r--r-- | 17184 | sty0.ma | blob | raw |
-rw-r--r-- | 82350 | subst1.ma | blob | raw |