]>
2012-06-27 | Andrea Asperti | Closed all axioms in turing (but not universal). | blob | commitdiff | raw |
2012-06-15 | Andrea Asperti | middot notation | blob | commitdiff | raw | diff to current |
2012-06-08 | Andrea Asperti | move_char.ma | blob | commitdiff | raw | diff to current |