matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/turing/universal/

drwxr-xr-x		..
-rw-r--r--	3514	alphabet.ma	blob \| history \| raw
-rw-r--r--	38019	copy.ma	blob \| history \| raw
-rw-r--r--	52721	marks.ma	blob \| history \| raw
-rw-r--r--	40173	match_machines.ma	blob \| history \| raw
-rw-r--r--	31139	move_tape.ma	blob \| history \| raw
-rw-r--r--	11498	normalTM.ma	blob \| history \| raw
-rw-r--r--	12249	tuples.ma	blob \| history \| raw
-rw-r--r--	31078	uni_step.ma	blob \| history \| raw
-rw-r--r--	14975	universal.ma	blob \| history \| raw