doc-src/IsarRef/Thy/Spec.thy
Mon, 24 May 2010 21:18:22 +0100 webertj Typo fixed.
Wed, 28 Apr 2010 12:21:55 +0200 wenzelm command 'defaultsort' is renamed to 'default_sort', it works within a local theory context;
Fri, 16 Apr 2010 22:18:59 +0200 wenzelm keep localized 'types' as regular non-old-style version -- 'type_abbrev' as 'type' just causes too many problems, e.g. clash with "type" in translations or "type:" argument syntax;
Fri, 16 Apr 2010 22:15:09 +0200 wenzelm separate commands 'hide_class', 'hide_type', 'hide_const', 'hide_fact';
Tue, 09 Mar 2010 23:32:13 +0100 wenzelm localized typedecl;
Wed, 24 Feb 2010 20:37:01 +0100 wenzelm allow general mixfix syntax for type constructors;
Mon, 22 Feb 2010 17:02:39 +0100 haftmann dropped references to old axclass from documentation
Mon, 23 Nov 2009 21:03:49 +0100 ballarin Typos in documenation.
Sun, 22 Nov 2009 15:37:14 +0100 ballarin Updated locale documentation.
Sun, 08 Nov 2009 14:44:31 +0100 wenzelm added "declaration (pervasive)";
Thu, 02 Jul 2009 16:06:12 +0200 haftmann instance arities can be simultaneous
Wed, 17 Jun 2009 10:34:02 +0200 haftmann refined section concerning classes
Wed, 06 May 2009 16:01:05 +0200 haftmann tuned description of overloading
Mon, 16 Mar 2009 17:48:02 +0100 wenzelm spelling;
Sun, 15 Mar 2009 15:59:43 +0100 wenzelm added 'attribute_setup' command;
Wed, 11 Mar 2009 23:59:34 +0100 wenzelm added 'local_setup' command;
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Mon, 16 Feb 2009 20:15:40 +0100 wenzelm modernized some theory names;
Sun, 15 Feb 2009 18:54:50 +0100 wenzelm added introduction;
Mon, 02 Feb 2009 09:27:54 +0100 haftmann updated type class section
Thu, 22 Jan 2009 09:04:45 +0100 haftmann dropped print_interps
Mon, 19 Jan 2009 13:37:24 +0100 haftmann "code equation" replaces "defining equation"
Thu, 13 Nov 2008 22:44:40 +0100 wenzelm removed "includes" element (lost update?);
Thu, 13 Nov 2008 21:53:54 +0100 wenzelm added section "Co-regularity of type classes and arities" (variant from old ref manual);
Thu, 13 Nov 2008 21:52:59 +0100 wenzelm minor tuning (according to old ref manual);
Thu, 13 Nov 2008 21:48:19 +0100 wenzelm separate chapter "Inner syntax --- the term language";
Thu, 13 Nov 2008 21:45:40 +0100 wenzelm updated/refined types of Isar language elements, removed special LaTeX macros;
Thu, 13 Nov 2008 21:43:46 +0100 wenzelm unified use of declaration environment with IsarImplementation;
Thu, 13 Nov 2008 21:40:30 +0100 wenzelm added bind_thm, bind_thms;
Thu, 13 Nov 2008 21:40:00 +0100 wenzelm tuned section "Incorporating ML code";
Thu, 13 Nov 2008 21:38:44 +0100 wenzelm tuned section "Oracles";
Thu, 13 Nov 2008 21:25:42 +0100 wenzelm reworked "Defining Theories";
Mon, 10 Nov 2008 14:36:49 +0100 ballarin Made doc compatible with the system.
Thu, 18 Sep 2008 19:39:44 +0200 wenzelm simplified oracle interface;
Wed, 17 Sep 2008 23:08:06 +0200 wenzelm added ML_prf;
Wed, 03 Sep 2008 17:47:38 +0200 wenzelm axiomatization is now global-only;
Tue, 02 Sep 2008 17:31:20 +0200 ballarin Interpretation commands no longer accept interpretation attributes.
Fri, 25 Jul 2008 12:03:32 +0200 haftmann dropped locale (open)
Sat, 14 Jun 2008 17:26:07 +0200 wenzelm removed exotic 'token_translation' command;
Tue, 03 Jun 2008 00:16:18 +0200 wenzelm class_deps: improper;
Tue, 03 Jun 2008 00:03:52 +0200 wenzelm tuned;
Mon, 02 Jun 2008 23:38:27 +0200 wenzelm moved header command to Document_Preparation;
Mon, 02 Jun 2008 23:12:09 +0200 wenzelm updated ML types for advanced translations;
Mon, 02 Jun 2008 22:50:23 +0200 wenzelm major reorganization of document structure;
Sat, 10 May 2008 00:14:00 +0200 wenzelm misc reorganization;
Fri, 09 May 2008 23:35:57 +0200 wenzelm added chapters for "Specifications" and "Proofs";
less more (0) tip