]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1aacd3) | patch
progress in the semantics of binary machines
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 9 Oct 2013 15:38:16 +0000 (15:38 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 9 Oct 2013 15:38:16 +0000 (15:38 +0000)
commit57103fa96f504f9bffca859dd60317162396657f
tree34b680a6254a8fa2a37544ec486774b10aaa32b6tree | snapshot
parentd1aacd38c7228a7a76a9427d97f0d4b11d922330commit | diff
progress in the semantics of binary machines
matita/matita/lib/turing/multi_universal/binaryTM.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.