src/Doc/Implementation/Tactic.thy
2014-11-09 wenzelm 2014-11-09 proper context for match_tac etc.;
2014-11-09 wenzelm 2014-11-09 proper context for compose_tac, Splitter.split_tac (relevant for unify trace options);
2014-11-08 wenzelm 2014-11-08 optional proof context for unify operations, for the sake of proper local options;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-06-28 wenzelm 2014-06-28 misc tuning;
2014-04-15 wenzelm 2014-04-15 tuned spelling;
2014-04-09 wenzelm 2014-04-09 proper context for print_tac;
2014-04-05 haftmann 2014-04-05 closer correspondence of document and session names, while maintaining document names for external reference