]> matita.cs.unibo.it Git - helm.git/commit
middot notation
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 15 Jun 2012 11:02:45 +0000 (11:02 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 15 Jun 2012 11:02:45 +0000 (11:02 +0000)
commit0716716134a7820a822561cd6c55d5e71412acfd
tree14c3cc7f2b2c6fbf7878e17f1d5d7a6ca40f0343
parentc31d09808ffd3866e984c009eb8fc6930fa5e7dc
middot notation
matita/matita/lib/turing/basic_machines.ma
matita/matita/lib/turing/char_move.ma [deleted file]
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/move_char.ma
matita/matita/lib/turing/universal/marks.ma
matita/matita/lib/turing/universal/match_machines.ma
matita/matita/lib/turing/universal/move_tape.ma
matita/matita/lib/turing/universal/uni_step.ma