]>
2012-11-16 | Wilmer Ricciotti | Match machine (multi) | blob | commitdiff | raw |
2012-08-08 | Wilmer Ricciotti | Adding GRealize to uni_step. | blob | commitdiff | raw | diff to current |
2012-06-27 | Andrea Asperti | Closed all axioms in turing (but not universal). | 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 | 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 |