]> matita.cs.unibo.it Git - helm.git/commit
More conjectures proved.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 6 Jun 2012 15:34:08 +0000 (15:34 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 6 Jun 2012 15:34:08 +0000 (15:34 +0000)
commitbc02962ed23518a09e7f4ed875d7d967a33de135
tree471536474d0a5f90a39101ee33e2ee6542753fa1
parentaa45ebcc7a3bb09ae75a69620732b2544ac3ea4a
More conjectures proved.
matita/matita/lib/turing/basic_machines.ma
matita/matita/lib/turing/universal/move_char_c.ma
matita/matita/lib/turing/universal/move_char_l.ma
matita/matita/lib/turing/universal/move_tape.ma