]> matita.cs.unibo.it Git - helm.git/commit
Added null character.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 17 May 2012 07:04:54 +0000 (07:04 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 17 May 2012 07:04:54 +0000 (07:04 +0000)
commit67948c54e4e20ef530d2d2115c9a056275360012
tree5f1cc4c1d3541ff3a5553d460f0ff00f02b53507
parent7684ad8a8fec35563be35c1d5c797dfab83c1e3f
Added null character.
matita/matita/lib/turing/universal/alphabet.ma
matita/matita/lib/turing/universal/marks.ma
matita/matita/lib/turing/universal/move_char_l.ma
matita/matita/lib/turing/universal/tuples.ma
matita/matita/lib/turing/universal/universal.ma