]> matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/turing/
Progress
[helm.git] / matita / matita / lib / turing /
drwxr-xr-x   ..
-rw-r--r-- 2439 complexity.ma
-rw-r--r-- 5748 if_machine.ma
-rw-r--r-- 17966 mono.ma
-rw-r--r-- 4134 ntm.ma
-rw-r--r-- 3050 oracle.ma
-rw-r--r-- 6602 turing.ma
-rw-r--r-- 3769 turing_old.ma
-rw-r--r-- 8216 universal.ma
drwxr-xr-x - universal
-rw-r--r-- 17820 while_machine.ma
-rw-r--r-- 13451 wmono.ma