chiark / gitweb /
merge: prove bases' children
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Aug 2013 18:19:24 +0000 (19:19 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Aug 2013 18:19:24 +0000 (19:19 +0100)
commitf58dec73ac7e656f88ff6e23f3e635c96286ae77
treea59db58ffbdcfc94c13b6dd7b1a936f529a3c940
parent7f5f6024b93005fdd9e81c6cc39934ca57999ea8
merge: prove bases' children
merge.tex