chiark / gitweb /
mdw's bigforall
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 01:56:59 +0000 (01:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 01:56:59 +0000 (01:56 +0000)
commit4e90b170345fbb32ce672b73e1711af787831439
tree9ddd7161cf0ccee34f67fc331605e80891ac4861
parentb22e5108e8fe657eac52981917f8aae11a3ed758
mdw's bigforall
article.tex