]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/universal
Progress
[helm.git] / matita / matita / lib / turing / universal /
2012-05-15 Wilmer RicciottiProgress
2012-05-15 Andrea Aspertisempre li
2012-05-15 Wilmer RicciottiAdded universal machine (mockup)
2012-05-14 Wilmer RicciottiAdded copy machine (mockup)
2012-05-14 Andrea Aspertiprogresprogresss
2012-05-14 Andrea Aspertialmost there
2012-05-14 Andrea Aspertiprogress
2012-05-11 Wilmer RicciottiDefinition of the structure of the transition table...
2012-05-11 Andrea Aspertipoca roba
2012-05-11 Andrea Aspertirestructuring
2012-05-11 Wilmer RicciottiFinished wsem_compare proof.
2012-05-11 Andrea Aspertiprogress
2012-05-10 Wilmer RicciottiProgress.
2012-05-10 Wilmer RicciottiProgress.
2012-05-09 Wilmer RicciottiProgress.
2012-05-09 Wilmer RicciottiProgress in compare.ma (some machines have been moved...
2012-05-08 Wilmer Ricciottiprogress in turing/universal/compare.ma
2012-05-08 Wilmer RicciottiAdded compare auxiliary machine for universal turing...
2012-05-07 Wilmer Ricciottiprogress
2012-05-07 Andrea AspertiProve di terminazione
2012-05-04 Wilmer RicciottiForgotten in previous commit: move_char machines.