chiark / gitweb /
strategy: define w (as w(P) rather than w(H)
[topbloke-formulae.git] / test.tex
2012-03-03 Ian Jacksondemo problem test case
2012-03-01 Ian Jacksontrivial test document