doc-src/IsarImplementation/Thy/Tactic.thy
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) -3 tip