chiark / gitweb /
strategy: traversal, Tip-Merge, from base, Tip Merge & Merge Acyclic
[topbloke-formulae.git] / old-strategy.tex
2012-05-27 Ian Jacksonstrategy: remove old stuff