]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/universal.ma
progresprogresss
[helm.git] / matita / matita / lib / turing / universal.ma
2012-04-24 Wilmer RicciottiUpdate to universal turing machine (preliminaries).
2012-04-24 Wilmer RicciottiMore turing machines (still not compiling)
2012-04-24 Wilmer RicciottiStarted converting informal definition of the machines...
2012-04-23 Wilmer RicciottiAdded universal turing machines (only comments for...