]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 1971 | alphabet.ma | blob | history | raw |
-rw-r--r-- | 13173 | compare.ma | blob | history | raw |
-rw-r--r-- | 10118 | copy.ma | blob | history | raw |
-rw-r--r-- | 40247 | match.ma | blob | history | raw |
-rw-r--r-- | 11870 | moves.ma | blob | history | raw |
-rw-r--r-- | 17062 | moves_2.ma | blob | history | raw |
-rw-r--r-- | 8378 | normalTM.ma | blob | history | raw |
-rw-r--r-- | 2823 | par_test.ma | blob | history | raw |
-rw-r--r-- | 11551 | tuples.ma | blob | history | raw |
-rw-r--r-- | 19364 | unistep.ma | blob | history | raw |
-rw-r--r-- | 20247 | unistep_aux.ma | blob | history | raw |
-rw-r--r-- | 4662 | universal.ma | blob | history | raw |