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

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

2013-10-24	Andrea Asperti	many changes	blob \| commitdiff \| raw
2013-10-06	Andrea Asperti	progress in the deifinition of the semantics of the...	blob \| commitdiff \| raw \| diff to current
2013-02-07	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current
2012-12-21	Andrea Asperti	Many changes	blob \| commitdiff \| raw \| diff to current
2012-11-26	Wilmer Ricciotti	test null, match	blob \| commitdiff \| raw \| diff to current
2012-11-16	Wilmer Ricciotti	Match machine (multi)	blob \| commitdiff \| raw \| diff to current
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	blob \| commitdiff \| raw \| diff to current
2012-06-27	Andrea Asperti	Closed all axioms in turing (but not universal).	blob \| commitdiff \| raw \| diff to current
2012-06-15	Andrea Asperti	middot notation	blob \| commitdiff \| raw \| diff to current
2012-06-08	Andrea Asperti	Modifications and refactoring	blob \| commitdiff \| raw \| diff to current
2012-06-06	Wilmer Ricciotti	More conjectures proved.	blob \| commitdiff \| raw \| diff to current
2012-06-06	Andrea Asperti	swap machine; move_char revisited	blob \| commitdiff \| raw \| diff to current
2012-06-06	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current

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