chiark / gitweb /
unique tips: rename anticommit condition Unique Tip to Correct Tip
[topbloke-formulae.git] / notation.tex
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