From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 15:15:51 +0000 (+0000)
Subject: proof of alternative merge formulation
X-Git-Tag: f0.2~50
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=8d7b149b51ee761db2300244444a0dd09b612b27;hp=8d7b149b51ee761db2300244444a0dd09b612b27;p=topbloke-formulae.git

proof of alternative merge formulation
---