doc-src/IsarImplementation/Thy/Tactic.thy
Wed, 25 Jan 2012 18:18:59 +0100 wenzelm updated THEN, ORELSE, APPEND, and derivatives;
Sun, 28 Nov 2010 21:07:28 +0100 wenzelm Parse.liberal_name for document antiquotations and attributes;
Mon, 18 Oct 2010 15:35:20 +0100 wenzelm tuned;
Fri, 15 Oct 2010 20:22:56 +0100 wenzelm tuned chapter arrangement;
less more (0) -10 -4 tip