2012-03-16 | Ian Jackson | rename Tip Self Inpatch -> Tip Self Contents | blob | commitdiff | raw |
2012-03-16 | Ian Jackson | remove a couple of spurious $\qed$ | blob | commitdiff | raw | diff to current |
2012-03-16 | Ian Jackson | split into multiple source files | blob | commitdiff | raw | diff to current |