]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 13512 | arity.ma | blob | history | raw |
-rw-r--r-- | 4502 | arity_props.ma | blob | history | raw |
-rw-r--r-- | 33982 | dec.ma | blob | history | raw |
-rw-r--r-- | 2607 | defs.ma | blob | history | raw |
-rw-r--r-- | 72564 | fsubst0.ma | blob | history | raw |
-rw-r--r-- | 67491 | fwd.ma | blob | history | raw |
-rw-r--r-- | 53652 | pr3.ma | blob | history | raw |
-rw-r--r-- | 36022 | pr3_props.ma | blob | history | raw |
-rw-r--r-- | 30832 | props.ma | blob | history | raw |
-rw-r--r-- | 85904 | subst1.ma | blob | history | raw |
-rw-r--r-- | 47563 | tau0.ma | blob | history | raw |