]> matita.cs.unibo.it Git - helm.git/commit
Progress.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 9 May 2012 16:49:50 +0000 (16:49 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 9 May 2012 16:49:50 +0000 (16:49 +0000)
commit28c261aad4d710c9f218fbbbaf1ed3b45c1caf72
tree4d620908070979926c9ae6407f01641a0d5d8d73
parent09b49f4f848d45ac64835c72e6f42ed82fb82ac7
Progress.
matita/matita/lib/turing/if_machine.ma
matita/matita/lib/turing/mono.ma
matita/matita/lib/turing/universal/marks.ma