]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12023ae) | patch
Completes all the phases of the binary machine (modulo axioms).
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 20 Oct 2013 19:59:31 +0000 (19:59 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 20 Oct 2013 19:59:31 +0000 (19:59 +0000)
commit1e74e10d6d177c8afe14f20f050812f68aa2b530
tree9372729a514c64e112b979dca5cd85b405399287tree | snapshot
parent12023ae1e3d075130b31d2d8559c85847ef06deecommit | diff
Completes all the phases of the binary machine (modulo axioms).
Final semantic result still missing.
matita/matita/lib/turing/multi_universal/binaryTM.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.