doc-src/IsarImplementation/Thy/Isar.thy
Sun, 05 Dec 2010 13:42:58 +0100 wenzelm prefer 'notepad' over 'example_proof';
Sun, 28 Nov 2010 21:07:28 +0100 wenzelm Parse.liberal_name for document antiquotations and attributes;
Tue, 26 Oct 2010 11:22:18 +0200 wenzelm proper markup of uninterpreted ML text as @{ML_text}, not @{verbatim};
Mon, 25 Oct 2010 16:14:40 +0200 wenzelm misc tuning;
Mon, 18 Oct 2010 19:06:07 +0100 wenzelm more robust examples: explicit @{assert} instead of unchecked output;
Mon, 18 Oct 2010 16:23:55 +0100 wenzelm more on "Configuration options";
Mon, 18 Oct 2010 15:35:20 +0100 wenzelm tuned;
Sun, 17 Oct 2010 20:25:36 +0100 wenzelm use continental paragraph style, which works better with mixture of (in)formal text;
Fri, 15 Oct 2010 19:54:34 +0100 wenzelm more examples;
Thu, 14 Oct 2010 21:55:21 +0100 wenzelm more on "Attributes";
Thu, 14 Oct 2010 21:05:21 +0100 wenzelm misc tuning and clarification;
Wed, 13 Oct 2010 21:57:21 +0100 wenzelm more on "Proof methods";
Wed, 13 Oct 2010 13:05:23 +0100 wenzelm examples in Isabelle/HOL;
Wed, 13 Oct 2010 11:15:15 +0100 wenzelm more on Proof.theorem;
Wed, 13 Oct 2010 10:52:15 +0100 wenzelm tuned;
Tue, 12 Oct 2010 21:18:05 +0100 wenzelm more examples;
Tue, 12 Oct 2010 20:03:31 +0100 wenzelm more on "Isar language elements";
Thu, 05 Mar 2009 02:27:54 +0100 wenzelm regenerated document;
Thu, 05 Mar 2009 02:20:06 +0100 wenzelm dummy changes to produce a new changeset of these files;
Mon, 16 Feb 2009 21:23:34 +0100 wenzelm removed rudiments of glossary;
Mon, 16 Feb 2009 20:47:44 +0100 wenzelm observe usual theory naming conventions;
less more (0) tip