]>
drwxr-xr-x | .. | ||
-rwxr-xr-x | 2961 | bool.ma | blob | history | raw |
-rwxr-xr-x | 5011 | bool_lemmas.ma | blob | history | raw |
-rwxr-xr-x | 88609 | exadecim.ma | blob | history | raw |
-rwxr-xr-x | 16399 | exadecim_lemmas.ma | blob | history | raw |
-rwxr-xr-x | 3143 | oct.ma | blob | history | raw |
-rwxr-xr-x | 5313 | oct_lemmas.ma | blob | history | raw |
-rwxr-xr-x | 2606 | quatern.ma | blob | history | raw |
-rwxr-xr-x | 4055 | quatern_lemmas.ma | blob | history | raw |