matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/multi

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/multi_universal/binaryTM.ma

2013-11-06	Wilmer Ricciotti	Full rework of the semantics of the binary machine...	blob \| commitdiff \| raw
2013-11-03	Wilmer Ricciotti	Almost finished...	blob \| commitdiff \| raw \| diff to current
2013-11-03	Wilmer Ricciotti	Major bugfix/reorganization/improvement of the partial...	blob \| commitdiff \| raw \| diff to current
2013-10-20	Wilmer Ricciotti	Completes all the phases of the binary machine (modulo...	blob \| commitdiff \| raw \| diff to current
2013-10-14	Wilmer Ricciotti	Completed phases 0, 1, and 3.	blob \| commitdiff \| raw \| diff to current
2013-10-09	Wilmer Ricciotti	progress in the semantics of binary machines	blob \| commitdiff \| raw \| diff to current
2013-10-07	Wilmer Ricciotti	Starting proof about semantics of binary machines.	blob \| commitdiff \| raw \| diff to current
2013-10-07	Wilmer Ricciotti	Completes the definition of binaryTM.	blob \| commitdiff \| raw \| diff to current
2013-10-03	Wilmer Ricciotti	Adds transformation of generic monotape machines into...	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.