chiark / gitweb /
improve proof of create base inclusion
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 14:37:37 +0000 (14:37 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 12 Mar 2012 14:37:37 +0000 (14:37 +0000)
commitc0cde0bfdd200f540e0ca3c8c4c78a8888b77b67
tree6d65e2f118fd94a1570f46057fc8d5894fdcc2dd
parent259a2d309ccfbde19838df143ff1fc88843c7d4d
improve proof of create base inclusion
article.tex