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

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

2012-06-06	Wilmer Ricciotti	More conjectures proved.	blob \| commitdiff \| raw
2012-06-06	Andrea Asperti	new version of move_char_l suign swap	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_char_l.ma	blob \| commitdiff \| raw \| diff to current
2012-05-17	Wilmer Ricciotti	Added null character.	blob \| commitdiff \| raw \| diff to current
2012-05-07	Wilmer Ricciotti	progress	blob \| commitdiff \| raw \| diff to current
2012-05-04	Wilmer Ricciotti	Forgotten in previous commit: move_char machines.	blob \| commitdiff \| raw \| diff to current

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