chiark / gitweb /
comments from mdw - add note re universal quantification
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Mar 2012 18:17:34 +0000 (19:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Mar 2012 18:17:34 +0000 (19:17 +0100)
commit8382189875aa969a251efc900a568a09e7b64c02
tree78b45b0e92cd03d8b142428d58108a2e480023de
parent93847d78953ec63725065981dd9f2d439627990e
comments from mdw - add note re universal quantification
notation.tex