]>
2012-05-08 | Wilmer Ricciotti | Added compare auxiliary machine for universal turing... | tree | commitdiff |
2012-05-07 | Wilmer Ricciotti | progress | tree | commitdiff |
2012-05-07 | Andrea Asperti | Prove di terminazione | tree | commitdiff |
2012-05-04 | Wilmer Ricciotti | Forgotten in previous commit: move_char machines. | tree | commitdiff |