]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/multi_universal/copy.ma
unistep_aux
[helm.git] / matita / matita / lib / turing / multi_universal / copy.ma
2013-01-15 Andrea Asperticopy finished
2013-01-15 Andrea Asperticopy.ma
2013-01-08 Wilmer Ricciottiporting to machine that can move without writing
2012-12-06 Ferruccio Guidi- we enabled a notation for ex2
2012-11-15 Wilmer RicciottiFinished copy turing machine (multi-tape)
2012-11-14 Wilmer Ricciotticopy machine (multi-tape) completed
2012-11-13 Wilmer Ricciottiprogress