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

[helm.git] / matita / matita / lib / turing / universal / marks.ma

2012-12-21	Andrea Asperti	Many changes	blob \| commitdiff \| raw
2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	blob \| commitdiff \| raw \| diff to current
2012-07-31	Andrea Asperti	Termination!	blob \| commitdiff \| raw \| diff to current
2012-07-30	Andrea Asperti	work in progress	blob \| commitdiff \| raw \| diff to current
2012-07-27	Andrea Asperti	work in progress	blob \| commitdiff \| raw \| diff to current
2012-07-20	Wilmer Ricciotti	progress in termination of marks.ma	blob \| commitdiff \| raw \| diff to current
2012-07-17	Andrea Asperti	porting to termination	blob \| commitdiff \| raw \| diff to current
2012-06-28	Andrea Asperti	New spec. for advance_both_marks	blob \| commitdiff \| raw \| diff to current
2012-06-28	Andrea Asperti	working on termination	blob \| commitdiff \| raw \| diff to current
2012-06-18	Andrea Asperti	adv_to_mark_l	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	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.

RSS Atom