| Mon, 08 Nov 2010 00:00:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 16:16:10 +0200 |
wenzelm |
eliminated obsolete \_ escape;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 22:59:33 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 22:39:59 +0200 |
wenzelm |
moved FOL/ex/Iff_Oracle.thy to HOL/ex where it is more accessible to most readers of isar-ref;
|
file |
diff |
annotate
|
| Sun, 24 Oct 2010 21:25:13 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 10 Oct 2010 23:16:24 +0200 |
krauss |
do not mention unqualified names, now that 'global' and 'local' are gone
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 19:19:41 +0100 |
wenzelm |
moved bind_thm(s) to implementation manual;
|
file |
diff |
annotate
|
| Sat, 09 Oct 2010 19:49:19 +0100 |
wenzelm |
prefer checked antiquotations;
|
file |
diff |
annotate
|
| Fri, 10 Sep 2010 15:39:55 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 14:18:09 +0200 |
wenzelm |
discontinued obsolete 'global' and 'local' commands;
|
file |
diff |
annotate
|
| Sat, 31 Jul 2010 23:32:05 +0200 |
ballarin |
Documentation of 'interpret' updated.
|
file |
diff |
annotate
|
| Mon, 12 Jul 2010 11:21:27 +0200 |
haftmann |
moved co-regularity to class section; avoid duplicated class_deps
|
file |
diff |
annotate
|
| Tue, 25 May 2010 11:13:49 +0200 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Wed, 28 Apr 2010 12:21:55 +0200 |
wenzelm |
command 'defaultsort' is renamed to 'default_sort', it works within a local theory context;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 22:15:09 +0200 |
wenzelm |
separate commands 'hide_class', 'hide_type', 'hide_const', 'hide_fact';
|
file |
diff |
annotate
|
| Tue, 09 Mar 2010 23:32:13 +0100 |
wenzelm |
localized typedecl;
|
file |
diff |
annotate
|
| Wed, 24 Feb 2010 20:37:01 +0100 |
wenzelm |
allow general mixfix syntax for type constructors;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2010 17:02:39 +0100 |
haftmann |
dropped references to old axclass from documentation
|
file |
diff |
annotate
|
| Mon, 23 Nov 2009 21:04:00 +0100 |
ballarin |
Generated files.
|
file |
diff |
annotate
|
| Sun, 22 Nov 2009 15:37:49 +0100 |
ballarin |
Generated latex code.
|
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
|
| Thu, 02 Jul 2009 16:00:28 +0200 |
haftmann |
updated generated files
|
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:51:24 +0100 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2009 15:59:44 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Thu, 12 Mar 2009 00:02:30 +0100 |
wenzelm |
updated generated files;
|
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
|
| Thu, 26 Feb 2009 20:55:47 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 20:25:21 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Sun, 15 Feb 2009 18:56:13 +0100 |
wenzelm |
updated generated files;
|
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:45:12 +0100 |
wenzelm |
updated generated files;
|
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:47 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Wed, 17 Sep 2008 23:08:06 +0200 |
wenzelm |
added ML_prf;
|
file |
diff |
annotate
|
| Wed, 03 Sep 2008 17:47:30 +0200 |
wenzelm |
Sign.declare_const: Name.binding;
|
file |
diff |
annotate
|
| Tue, 02 Sep 2008 17:31:20 +0200 |
ballarin |
Interpretation commands no longer accept interpretation attributes.
|
file |
diff |
annotate
|
| Tue, 12 Aug 2008 21:27:46 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Sat, 14 Jun 2008 23:20:00 +0200 |
wenzelm |
updated geenrated file;
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 00:15:46 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Tue, 03 Jun 2008 00:03:54 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Mon, 02 Jun 2008 23:38:28 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Mon, 02 Jun 2008 23:12:23 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Mon, 02 Jun 2008 22:50:29 +0200 |
wenzelm |
updated generated file;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 17:39:20 +0200 |
wenzelm |
updated generated file;
|
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
|