chiark / gitweb /
more lemmas
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 02:39:20 +0000 (02:39 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 1 Mar 2012 02:39:20 +0000 (02:39 +0000)
commit7a8a90bdecc23aff58e3cb88bc93580d8450dc0e
tree52da8c90a647214269ea6a8d5990c2432b3018ab
parente825f9ef4709f95709d1c1ead218d64675bc2fea
more lemmas
article.tex