chiark / gitweb /
fix up some lemmas re ends
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 14:21:01 +0000 (14:21 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Mar 2012 14:21:01 +0000 (14:21 +0000)
commitb4e0205d32b8d7fd7176523f07f5acb8cff6df02
tree39e69383ec4237e0b51b1740d4bf62c7514b82fc
parent0165b1c1d3cff6d78747f2975d8cdfa54ecd0c9c
fix up some lemmas re ends
article.tex