chiark / gitweb /
comments from mdw - add note re universal quantification
[topbloke-formulae.git] / test.tex
2012-03-03 Ian Jacksondemo problem test case
2012-03-01 Ian Jacksontrivial test document