]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 31434 | bigops.ma | blob | history | raw |
-rw-r--r-- | 12791 | div_and_mod.ma | blob | history | raw |
-rw-r--r-- | 3545 | exp.ma | blob | history | raw |
-rw-r--r-- | 5969 | factorial.ma | blob | history | raw |
-rw-r--r-- | 8871 | minimization.ma | blob | history | raw |
-rw-r--r-- | 26459 | nat.ma | blob | history | raw |