]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c37668) | patch
Major bugfix/reorganization/improvement of the partial proofs: full semantics
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 3 Nov 2013 16:24:25 +0000 (16:24 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 3 Nov 2013 16:24:25 +0000 (16:24 +0000)
commit54ead148d2223a850f58b4ca9eb60abeeaab492a
tree9cb6bca99d1dc17ef103f5f058e79764f0004aa8tree | snapshot
parent3c376681f0162b0650a5500770ec82d5899b1cdacommit | diff
Major bugfix/reorganization/improvement of the partial proofs: full semantics
of the binary machine should now be easy.
matita/matita/lib/turing/multi_universal/binaryTM.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.