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

drwxr-xr-x		..
-rw-r--r--	4992	auxiliary_machines.ma	blob \| history \| raw
-rw-r--r--	9418	auxiliary_machines1.ma	blob \| history \| raw
-rw-r--r--	23376	auxiliary_multi_machines.ma	blob \| history \| raw
-rw-r--r--	21611	basic_machines.ma	blob \| history \| raw
-rw-r--r--	22888	basic_multi_machines.ma	blob \| history \| raw
-rw-r--r--	2531	complexity.ma	blob \| history \| raw
-rw-r--r--	20200	if_machine.ma	blob \| history \| raw
-rw-r--r--	20790	if_multi.ma	blob \| history \| raw
-rw-r--r--	6083	inject.ma	blob \| history \| raw
-rw-r--r--	26034	mono.ma	blob \| history \| raw
-rw-r--r--	11604	move_char.ma	blob \| history \| raw
drwxr-xr-x	-	multi_to_mono	tree \| history
drwxr-xr-x	-	multi_universal	tree \| history
-rw-r--r--	4196	ntm.ma	blob \| history \| raw
-rw-r--r--	3146	oracle.ma	blob \| history \| raw
-rw-r--r--	18834	turing.ma	blob \| history \| raw
-rw-r--r--	3743	turing_old.ma	blob \| history \| raw
-rw-r--r--	8253	universal.ma	blob \| history \| raw
-rw-r--r--	7432	while_machine.ma	blob \| history \| raw
-rw-r--r--	7674	while_multi.ma	blob \| history \| raw
-rw-r--r--	13599	wmono.ma	blob \| history \| raw