chiark / gitweb /
foreign notation: change \bot to \foreign everywhere
[topbloke-formulae.git] / pseudomerge.tex
2012-05-27 Ian Jacksonforeign notation: change \bot to \foreign everywhere
2012-05-27 Ian Jacksonpsuedomerge: initial version