matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/turing/universal/marks.ma

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

2012-06-08	Andrea Asperti	Modifications and refactoring	blob \| commitdiff \| raw
2012-06-06	Andrea Asperti	Restructuring	blob \| commitdiff \| raw \| diff to current
2012-06-01	Wilmer Ricciotti	Finalized copy sub-machine of the universal turing...	blob \| commitdiff \| raw \| diff to current
2012-05-25	Andrea Asperti	Porting to the new defintion of finset	blob \| commitdiff \| raw \| diff to current
2012-05-17	Wilmer Ricciotti	Added null character.	blob \| commitdiff \| raw \| diff to current
2012-05-14	Andrea Asperti	progress	blob \| commitdiff \| raw \| diff to current
2012-05-11	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current
2012-05-11	Wilmer Ricciotti	Finished wsem_compare proof.	blob \| commitdiff \| raw \| diff to current
2012-05-11	Andrea Asperti	progress	blob \| commitdiff \| raw \| diff to current
2012-05-10	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-10	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-09	Wilmer Ricciotti	Progress.	blob \| commitdiff \| raw \| diff to current
2012-05-09	Wilmer Ricciotti	Progress in compare.ma (some machines have been moved...	blob \| commitdiff \| raw \| diff to current

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