]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/while_machine.ma
Progress
[helm.git] / matita / matita / lib / turing / while_machine.ma
2012-05-07 Andrea AspertiProve di terminazione
2012-05-04 Wilmer RicciottiAdded a turing/universal directory for the universal...
2012-05-04 Wilmer Ricciottiprogress
2012-05-03 Wilmer Ricciottiprogress in while test machine
2012-05-02 Wilmer RicciottiWhile semantics.
2012-05-02 Andrea Aspertiprogress
2012-05-02 Andrea Aspertiwhile machine