chiark / gitweb /
move alternative formulation of merge results into lemmas
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 11:48:14 +0000 (11:48 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 11:48:14 +0000 (11:48 +0000)
commit1aa4dce9dace603365ff1b302c938b6bfe9bbc1e
tree6c5873621213d8025cdb51f0dcad2f877e661433
parent2f6d22b0c5f79efe583c8016b2860474261f4750
move alternative formulation of merge results into lemmas
article.tex