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
|
Tue, 02 Sep 2008 17:31:20 +0200 |
ballarin |
Interpretation commands no longer accept interpretation attributes.
|
file |
diff |
annotate
|
Fri, 25 Jul 2008 12:03:32 +0200 |
haftmann |
dropped locale (open)
|
file |
diff |
annotate
|
Sat, 14 Jun 2008 17:26:07 +0200 |
wenzelm |
removed exotic 'token_translation' command;
|
file |
diff |
annotate
|
Tue, 03 Jun 2008 00:16:18 +0200 |
wenzelm |
class_deps: improper;
|
file |
diff |
annotate
|
Tue, 03 Jun 2008 00:03:52 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 02 Jun 2008 23:38:27 +0200 |
wenzelm |
moved header command to Document_Preparation;
|
file |
diff |
annotate
|
Mon, 02 Jun 2008 23:12:09 +0200 |
wenzelm |
updated ML types for advanced translations;
|
file |
diff |
annotate
|
Mon, 02 Jun 2008 22:50:23 +0200 |
wenzelm |
major reorganization of document structure;
|
file |
diff |
annotate
|
Sat, 10 May 2008 00:14:00 +0200 |
wenzelm |
misc reorganization;
|
file |
diff |
annotate
|
Fri, 09 May 2008 23:35:57 +0200 |
wenzelm |
added chapters for "Specifications" and "Proofs";
|
file |
diff |
annotate
|