]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8913001) | patch
Completed phases 0, 1, and 3.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Oct 2013 16:32:42 +0000 (16:32 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Oct 2013 16:32:42 +0000 (16:32 +0000)
commit8133250a47c1302903a9589f66da54352978ce93
tree2013b1e1491708c86874551c56b10720b41a5c05tree | snapshot
parent8913001064f595c21ed4234884e7c370be2afb52commit | diff
Completed phases 0, 1, and 3.
matita/matita/lib/turing/multi_universal/binaryTM.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.