doc-src/IsarRef/Thy/Outer_Syntax.thy
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;
Sat, 30 Oct 2010 15:26:40 +0200 wenzelm support for floating-point tokens in outer syntax (coinciding with inner syntax version);
Fri, 19 Mar 2010 00:46:08 +0100 wenzelm allow sort constraints in HOL/typedef;
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Sat, 28 Feb 2009 16:39:46 +0100 wenzelm removed Ids;
Mon, 09 Feb 2009 20:37:10 +0100 wenzelm tuned chapter heading;
Tue, 18 Nov 2008 18:25:10 +0100 wenzelm moved table of standard Isabelle symbols to isar-ref manual;
Thu, 13 Nov 2008 22:01:30 +0100 wenzelm misc tuning of inner syntax;
Thu, 13 Nov 2008 22:00:12 +0100 wenzelm misc tuning;
Thu, 13 Nov 2008 21:59:47 +0100 wenzelm tuned outer lexical syntax; fixed var/tvar: really need question marks here;
Thu, 13 Nov 2008 21:59:02 +0100 wenzelm more tuning of Pure grammer;
Thu, 13 Nov 2008 21:48:19 +0100 wenzelm separate chapter "Inner syntax --- the term language";
Thu, 13 Nov 2008 21:37:18 +0100 wenzelm moved section "Proof method expressions" to proof chapter;
less more (0) -15 tip