doc-src/IsarImplementation/Thy/Tactic.thy
Sun, 29 Jan 2012 22:12:25 +0100 wenzelm updated hint about asm_rl;
Sun, 29 Jan 2012 22:00:10 +0100 wenzelm updated thin_tac;
Sun, 29 Jan 2012 21:40:29 +0100 wenzelm updated distinct_subgoals_tac, flexflex_tac;
less more (0) -10 -3 tip