]> matita.cs.unibo.it Git - helm.git/commit
progress
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 7 May 2012 15:34:16 +0000 (15:34 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 7 May 2012 15:34:16 +0000 (15:34 +0000)
commit5c1794aba0652c0b0bce80a9ffc426192327709f
treee337de9be3b1fca3f2676e42c0436e23649f7f56
parent70279506c9837750cccf925dc9840b0b3d9951a5
progress
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/universal/move_char_c.ma
matita/matita/lib/turing/universal/move_char_l.ma