Honours thesis now available

I've uploaded my honours thesis, looking at the tactic semantics of the TWB.