Mon, 23 Nov 2009 21:03:49 +0100 |
ballarin |
Typos in documenation.
|
file |
diff |
annotate
|
Sun, 22 Nov 2009 15:37:14 +0100 |
ballarin |
Updated locale documentation.
|
file |
diff |
annotate
|
Sun, 08 Nov 2009 14:44:31 +0100 |
wenzelm |
added "declaration (pervasive)";
|
file |
diff |
annotate
|
Thu, 02 Jul 2009 16:06:12 +0200 |
haftmann |
instance arities can be simultaneous
|
file |
diff |
annotate
|
Wed, 17 Jun 2009 10:34:02 +0200 |
haftmann |
refined section concerning classes
|
file |
diff |
annotate
|
Wed, 06 May 2009 16:01:05 +0200 |
haftmann |
tuned description of overloading
|
file |
diff |
annotate
|
Mon, 16 Mar 2009 17:48:02 +0100 |
wenzelm |
spelling;
|
file |
diff |
annotate
|
Sun, 15 Mar 2009 15:59:43 +0100 |
wenzelm |
added 'attribute_setup' command;
|
file |
diff |
annotate
|
Wed, 11 Mar 2009 23:59:34 +0100 |
wenzelm |
added 'local_setup' command;
|
file |
diff |
annotate
|
Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 20:15:40 +0100 |
wenzelm |
modernized some theory names;
|
file |
diff |
annotate
|
Sun, 15 Feb 2009 18:54:50 +0100 |
wenzelm |
added introduction;
|
file |
diff |
annotate
|
Mon, 02 Feb 2009 09:27:54 +0100 |
haftmann |
updated type class section
|
file |
diff |
annotate
|
Thu, 22 Jan 2009 09:04:45 +0100 |
haftmann |
dropped print_interps
|
file |
diff |
annotate
|
Mon, 19 Jan 2009 13:37:24 +0100 |
haftmann |
"code equation" replaces "defining equation"
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 22:44:40 +0100 |
wenzelm |
removed "includes" element (lost update?);
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:53:54 +0100 |
wenzelm |
added section "Co-regularity of type classes and arities" (variant from old ref manual);
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:52:59 +0100 |
wenzelm |
minor tuning (according to old ref manual);
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:48:19 +0100 |
wenzelm |
separate chapter "Inner syntax --- the term language";
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:45:40 +0100 |
wenzelm |
updated/refined types of Isar language elements, removed special LaTeX macros;
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:43:46 +0100 |
wenzelm |
unified use of declaration environment with IsarImplementation;
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:40:30 +0100 |
wenzelm |
added bind_thm, bind_thms;
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:40:00 +0100 |
wenzelm |
tuned section "Incorporating ML code";
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:38:44 +0100 |
wenzelm |
tuned section "Oracles";
|
file |
diff |
annotate
|
Thu, 13 Nov 2008 21:25:42 +0100 |
wenzelm |
reworked "Defining Theories";
|
file |
diff |
annotate
|
Mon, 10 Nov 2008 14:36:49 +0100 |
ballarin |
Made doc compatible with the system.
|
file |
diff |
annotate
|
Thu, 18 Sep 2008 19:39:44 +0200 |
wenzelm |
simplified oracle interface;
|
file |
diff |
annotate
|
Wed, 17 Sep 2008 23:08:06 +0200 |
wenzelm |
added ML_prf;
|
file |
diff |
annotate
|
Wed, 03 Sep 2008 17:47:38 +0200 |
wenzelm |
axiomatization is now global-only;
|
file |
diff |
annotate
|