chiark / gitweb /
small fixes
[topbloke-formulae.git] / merge.tex
2012-03-16 Ian Jacksonsmall fixes
2012-03-16 Ian Jacksonnon-topbloke merges fix merge ends proof
2012-03-16 Ian Jacksonuse new extended Self Tip Inpatch
2012-03-16 Ian Jacksonmerge fixes/clarifications - clarify and fix tip conten...
2012-03-16 Ian Jacksonmerge fixes/clarifications - clarify tip contents R...
2012-03-16 Ian Jacksonmerge fixes/clarifications - sort out complex case...
2012-03-16 Ian Jacksonmerge fixes/clarifications - fix several P to \p
2012-03-16 Ian Jacksonmerge fixes/clarifications - remove wrong "on R"
2012-03-16 Ian Jacksonmerge fixes/clarifications - add missing \
2012-03-16 Ian Jacksonmerge fixes/clarifications - clarify Non-Topbloke merge...
2012-03-16 Ian Jacksonmerge fixes/clarifications - clarify Non-Topbloke merges
2012-03-16 Ian Jacksonmerge fixes/clarifications - relax Foreign Merges
2012-03-16 Ian Jacksonmerge fixes/clarifications - change , to \land
2012-03-16 Ian Jacksonsplit into multiple source files