]>
drwxr-xr-x | .. | ||
-rwxr-xr-x | 6377 | ascii.ma | blob | history | raw |
-rwxr-xr-x | 16353 | ascii_lemmas.ma | blob | history | raw |
-rw-r--r-- | 3239 | list.ma | blob | history | raw |
-rw-r--r-- | 5380 | list_lemmas.ma | blob | history | raw |
-rwxr-xr-x | 12198 | list_utility.ma | blob | history | raw |
-rwxr-xr-x | 25560 | list_utility_lemmas.ma | blob | history | raw |
-rwxr-xr-x | 6974 | nat.ma | blob | history | raw |
-rw-r--r-- | 5577 | nat_lemmas.ma | blob | history | raw |
-rwxr-xr-x | 3097 | nat_to_num.ma | blob | history | raw |
-rw-r--r-- | 2116 | option.ma | blob | history | raw |
-rw-r--r-- | 5941 | option_lemmas.ma | blob | history | raw |
-rw-r--r-- | 4719 | prod.ma | blob | history | raw |
-rw-r--r-- | 37350 | prod_lemmas.ma | blob | history | raw |
-rwxr-xr-x | 2594 | sigma.ma | blob | history | raw |
-rw-r--r-- | 2137 | string.ma | blob | history | raw |
-rwxr-xr-x | 6844 | string_lemmas.ma | blob | history | raw |
-rw-r--r-- | 17453 | theory.ma | blob | history | raw |