]> matita.cs.unibo.it Git - helm.git/commit
many changes
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Oct 2013 06:48:13 +0000 (06:48 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 24 Oct 2013 06:48:13 +0000 (06:48 +0000)
commit8712a9a43384e0f437e8ea97fd66c8ea4da7bcfe
treef25590a918ad93da855de58d1f6e92287f045485
parent1e74e10d6d177c8afe14f20f050812f68aa2b530
many changes
matita/matita/lib/turing/basic_machines.ma
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/multi_to_mono/exec_moves.ma
matita/matita/lib/turing/multi_to_mono/exec_trace_move.ma
matita/matita/lib/turing/multi_to_mono/shift_trace.ma
matita/matita/lib/turing/multi_to_mono/trace_alphabet.ma
matita/matita/lib/turing/multi_universal/normalTM.ma