chiark / gitweb /
fix leftover \land
[topbloke-formulae.git] / anticommit.tex
2012-03-21 Ian Jacksonrefactor for coherence cases - anticommit
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Anticommit
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Anticommit wip
2012-03-18 Ian Jacksonrationalise patch notation names - anticommit
2012-03-16 Ian Jacksonrename Tip Self Contents -> Tip Own Contents f0.2
2012-03-16 Ian Jacksonrename Tip Self Inpatch -> Tip Self Contents
2012-03-16 Ian Jacksonremove a couple of spurious $\qed$
2012-03-16 Ian Jacksonsplit into multiple source files