]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be32b93) | patch
Final version of the binary machine (all proofs completed).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 15 Nov 2013 13:17:42 +0000 (13:17 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 15 Nov 2013 13:17:42 +0000 (13:17 +0000)
commitc559209567ff7ec5e4d3de7fef431398f9ba2559
tree9f8db2ac3025fda1ce12aa0bfca6497743a53429tree | snapshot
parentbe32b932e109b6e793836ecd2dbd34bf6bc24bd3commit | diff
Final version of the binary machine (all proofs completed).
matita/matita/lib/turing/multi_universal/binaryTM.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.