chiark / gitweb /
notation: remove notation test file
[topbloke-formulae.git] / notation.tex
2012-07-07 Ian Jacksonnotation: use \commitmergename in its definition text...
2012-07-07 Ian Jacksonnotation: define \commitmergeof in terms of \stmtmergeof
2012-07-07 Ian Jacksonnotation: define \stmtmergeof and \setmergeof
2012-07-07 Ian Jacksoninternal notation: rename \merge and \mergeof to \commi...
2012-05-27 Ian Jacksonforeign notation: make \foreign into a set
2012-05-27 Ian Jacksonforeign notation: change \bot to \foreign everywhere
2012-04-27 Ian Jacksonstrategy: use \chapter
2012-03-27 Ian Jacksoncomments from mdw - add note re universal quantification
2012-03-27 Ian Jacksoncomments from mdw - add section on \set to notation
2012-03-27 Ian Jacksoncomments from mdw - clarify that \p are disjoint by...
2012-03-25 Ian Jacksoncommentary about exhaustiveness
2012-03-21 Ian Jacksonwip exclusive haspatch - change notation to F in defn
2012-03-21 Ian Jacksonwip exclusive haspatch - reorder notation
2012-03-20 Ian Jacksonwip exclusive haspatch - notation
2012-03-16 Ian Jacksonadd note about non-exclusivity of \haspatch and \nothas...
2012-03-16 Ian Jacksonsplit into multiple source files