doc-src/IsarImplementation/Thy/Prelim.thy
Sun, 05 Dec 2010 13:42:58 +0100 wenzelm prefer 'notepad' over 'example_proof';
Sat, 20 Nov 2010 01:07:16 +0100 wenzelm updated explode vs. raw_explode;
Sun, 31 Oct 2010 13:26:37 +0100 wenzelm syntax category "real" subsumes plain "int";
Sat, 30 Oct 2010 16:33:58 +0200 wenzelm support for real valued configuration options;
Thu, 28 Oct 2010 23:19:52 +0200 wenzelm discontinued obsolete ML antiquotation @{theory_ref};
Tue, 26 Oct 2010 15:57:16 +0200 wenzelm tuned;
Mon, 25 Oct 2010 16:14:40 +0200 wenzelm misc tuning;
less more (0) -30 -10 -7 tip