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

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

2012-08-08	Andrea Asperti	porting to termination	blob \| commitdiff \| raw
2012-06-15	Andrea Asperti	middot notation	blob \| commitdiff \| raw \| diff to current
2012-06-12	Andrea Asperti	several changes	blob \| commitdiff \| raw \| diff to current
2012-06-08	Andrea Asperti	A recompiling version	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
2012-05-28	Andrea Asperti	porting move_tape.ma	blob \| commitdiff \| raw \| diff to current
2012-05-28	Andrea Asperti	porting of move_char_c	blob \| commitdiff \| raw \| diff to current
2012-05-24	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-23	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-23	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-22	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-22	Wilmer Ricciotti	Progress	blob \| commitdiff \| raw \| diff to current
2012-05-21	Wilmer Ricciotti	Added move_tape.ma	blob \| commitdiff \| raw \| diff to current

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