]>
2012-06-06 | Wilmer Ricciotti | More conjectures proved. | blob | commitdiff | raw |
2012-05-28 | Andrea Asperti | porting of move_char_c | blob | commitdiff | raw | diff to current |
2012-05-07 | Wilmer Ricciotti | progress | blob | commitdiff | raw | diff to current |
2012-05-07 | Andrea Asperti | Prove di terminazione | blob | commitdiff | raw | diff to current |
2012-05-04 | Wilmer Ricciotti | Forgotten in previous commit: move_char machines. | blob | commitdiff | raw | diff to current |