]>
drwxr-xr-x | .. | ||
-rw-r--r-- | 2439 | complexity.ma | blob | history | raw |
-rw-r--r-- | 4134 | ntm.ma | blob | history | raw |
-rw-r--r-- | 3050 | oracle.ma | blob | history | raw |
-rw-r--r-- | 4045 | turing.ma | blob | history | raw |
-rw-r--r-- | 3769 | turing_old.ma | blob | history | raw |
-rw-r--r-- | 8216 | universal.ma | blob | history | raw |