src/Doc/Isar_Ref/ML_Tactic.thy
2015-03-20 wenzelm 2015-03-20 tuned signature;
2015-02-10 wenzelm 2015-02-10 proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; occasionally clarified use of context;
2014-10-07 wenzelm 2014-10-07 more cartouches;
2014-10-05 wenzelm 2014-10-05 prefer @{cite} antiquotation;
2014-04-08 haftmann 2014-04-08 even more standardized doc session names after #b266e7a86485