chiark / gitweb /
proof of alternative merge formulation
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 15:15:51 +0000 (15:15 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 15:15:51 +0000 (15:15 +0000)
commit8d7b149b51ee761db2300244444a0dd09b612b27
tree63bfa6ca3578465d8c783641944990302656e7be
parent53c2225544614b126196dff87b6c086fd02c3561
proof of alternative merge formulation
article.tex