]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1253 | BEq.ma | blob | history | raw |
-rw-r--r-- | 1191 | BNot.ma | blob | history | raw |
-rw-r--r-- | 1119 | Bool.ma | blob | history | raw |
-rw-r--r-- | 1219 | NLE.ma | blob | history | raw |
-rw-r--r-- | 1122 | Nat.ma | blob | history | raw |
-rw-r--r-- | 1441 | Nat_fwd.ma | blob | history | raw |
-rw-r--r-- | 1264 | Plus.ma | blob | history | raw |
-rw-r--r-- | 4359 | Plus_fwd.ma | blob | history | raw |
-rw-r--r-- | 3752 | Plus_props.ma | blob | history | raw |
-rw-r--r-- | 913 | makefile | blob | history | raw |