chiark / gitweb /
comments from mdw - clarify that \p are disjoint by construction
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Mar 2012 18:14:08 +0000 (19:14 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Mar 2012 18:14:08 +0000 (19:14 +0100)
commit891ae7626916bde1eb7dfa38762bbb4d94b85211
tree4eea90ea05f8d534f567b0ce0e09eabacbb52a4f
parent3a8cce8e2c30335e973bcaa8b98a7d8238bdaacb
comments from mdw - clarify that \p are disjoint by construction
invariants.tex
notation.tex