]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 3400 | alphabet.ma | blob | history | raw |
-rw-r--r-- | 16542 | compare.ma | blob | history | raw |
-rw-r--r-- | 26189 | copy.ma | blob | history | raw |
-rw-r--r-- | 31687 | marks.ma | blob | history | raw |
-rw-r--r-- | 33150 | match_machines.ma | blob | history | raw |
-rw-r--r-- | 31637 | move_tape.ma | blob | history | raw |
-rw-r--r-- | 11498 | normalTM.ma | blob | history | raw |
-rw-r--r-- | 11577 | tuples.ma | blob | history | raw |
-rw-r--r-- | 22591 | uni_step.ma | blob | history | raw |
-rw-r--r-- | 14975 | universal.ma | blob | history | raw |