]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1be73cc) | patch
Forgotten in previous commit: move_char machines.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 4 May 2012 16:58:11 +0000 (16:58 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 4 May 2012 16:58:11 +0000 (16:58 +0000)
commit81926a297143f39c5de262a678e60f5aaf0bb13a
tree564b5c883aa32989e5d1f7ec8f6f8ff150ddd2fbtree | snapshot
parent1be73cca08e69479424dd235fb95b2168b2854becommit | diff
Forgotten in previous commit: move_char machines.
matita/matita/lib/turing/universal/move_char_c.ma [new file with mode: 0644] blob
matita/matita/lib/turing/universal/move_char_l.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.