chiark / gitweb /
merge fixes/clarifications - change , to \land
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 21:55:25 +0000 (21:55 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 16 Mar 2012 21:55:25 +0000 (21:55 +0000)
commit65959570cc03ee3de82eefcb2dc51d7ae9f3aebc
tree1832bece4d11aba5e75cfe399772c77ef5676891
parent7dc335c17ae313c006e2283a35ca214b213ffcd9
merge fixes/clarifications - change , to \land
merge.tex