Text this: Design and application of strategies/tactics in higher order logics /