chiark / gitweb /
pseudomerge: add some $\qed$s
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:23:00 +0000 (20:23 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:23:00 +0000 (20:23 +0100)
commit81f741ff661fc6cd6954085fb2489ad9dc5cf257
tree58b79d4e374da56e3475b83068a104c53ed39520
parent117c31e0202e39fc17f2f12c3690942d3c991cfd
pseudomerge: add some $\qed$s
pseudomerge.tex