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--	13173	compare.ma	blob \| history \| raw
-rw-r--r--	10118	copy.ma	blob \| history \| raw
-rw-r--r--	1124	defs.ma	blob \| history \| raw
-rw-r--r--	39628	match.ma	blob \| history \| raw
-rw-r--r--	11870	moves.ma	blob \| history \| raw
-rw-r--r--	17284	moves_2.ma	blob \| history \| raw
-rw-r--r--	8106	normalTM.ma	blob \| history \| raw
-rw-r--r--	2823	par_test.ma	blob \| history \| raw
-rw-r--r--	4576	tuples.ma	blob \| history \| raw
-rw-r--r--	14562	unistep.ma	blob \| history \| raw
-rw-r--r--	17626	unistep_aux.ma	blob \| history \| raw
-rw-r--r--	4722	universal.ma	blob \| history \| raw