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

drwxr-xr-x		..
-rw-r--r--	1971	alphabet.ma	blob \| history \| raw
-rw-r--r--	66479	binaryTM.ma	blob \| history \| raw
-rw-r--r--	38060	match.ma	blob \| history \| raw
-rw-r--r--	7103	normalTM.ma	blob \| history \| raw
-rw-r--r--	9045	tuples.ma	blob \| history \| raw
-rw-r--r--	19407	unistep.ma	blob \| history \| raw
-rw-r--r--	20203	unistep_aux.ma	blob \| history \| raw
-rw-r--r--	4671	universal.ma	blob \| history \| raw