| Fri, 16 Apr 2010 11:40:01 +0200 |
salvaged some ML functors from decay, which is the natural consequence of lack of formal checking;
|
file | diff | annotate |
| Wed, 14 Apr 2010 11:24:31 +0200 |
updated Thm.add_axiom/add_def;
|
file | diff | annotate |
| Mon, 26 Oct 2009 08:54:20 +0100 |
adjusted to changes in corresponding ML code
|
file | diff | annotate |
| Sat, 17 Oct 2009 15:57:51 +0200 |
indicate CRITICAL nature of various setmp combinators;
|
file | diff | annotate |
| Thu, 01 Oct 2009 20:04:44 +0200 |
explicitly Unsynchronized;
|
file | diff | annotate |
| Thu, 05 Mar 2009 02:20:06 +0100 |
dummy changes to produce a new changeset of these files;
|
file | diff | annotate |
| Mon, 16 Feb 2009 20:47:44 +0100 |
observe usual theory naming conventions;
|
file | diff | annotate |
| Tue, 27 Jan 2009 19:56:20 +0100 |
added label;
|
file | diff | annotate |
| Thu, 22 Jan 2009 09:04:45 +0100 |
binding replaces bstring
|
file | diff | annotate |
| Wed, 21 Jan 2009 16:47:32 +0100 |
binding is alias for Binding.T
|
file | diff | annotate |
| Tue, 23 Dec 2008 21:03:35 +0100 |
updated thread-safe programming;
|
file | diff | annotate |
| Sat, 06 Dec 2008 08:57:39 +0100 |
adapted to changes in binding module
|
file | diff | annotate |
| Wed, 17 Sep 2008 23:23:49 +0200 |
threads work only for Poly/ML 5.2 or later;
|
file | diff | annotate |
| Wed, 03 Sep 2008 17:47:30 +0200 |
Sign.declare_const: Name.binding;
|
file | diff | annotate |
| Wed, 27 Aug 2008 11:48:54 +0200 |
type Properties.T;
|
file | diff | annotate |
| Fri, 28 Mar 2008 18:56:43 +0100 |
some styling
|
file | diff | annotate |
| Fri, 28 Mar 2008 18:51:17 +0100 |
some styling
|
file | diff | annotate |
| Thu, 27 Mar 2008 16:24:10 +0100 |
tuned appendix;
|
file | diff | annotate |
| Wed, 12 Dec 2007 09:00:07 +0100 |
adjusted
|
file | diff | annotate |
| Thu, 25 Oct 2007 13:51:58 +0200 |
continued
|
file | diff | annotate |
| Tue, 23 Oct 2007 10:53:15 +0200 |
continued
|
file | diff | annotate |
| Wed, 01 Aug 2007 16:55:37 +0200 |
tuned config options: eliminated separate attribute "option";
|
file | diff | annotate |
| Tue, 31 Jul 2007 19:38:33 +0200 |
tuned;
|
file | diff | annotate |
| Tue, 31 Jul 2007 19:26:35 +0200 |
tuned section "Style";
|
file | diff | annotate |
| Sun, 08 Jul 2007 19:51:52 +0200 |
simplified Symtab;
|
file | diff | annotate |
| Fri, 30 Mar 2007 16:18:59 +0200 |
updated
|
file | diff | annotate |
| Fri, 23 Mar 2007 09:40:43 +0100 |
added some sketches about library functions
|
file | diff | annotate |
| Wed, 14 Feb 2007 10:07:17 +0100 |
continued
|
file | diff | annotate |
| Sat, 10 Feb 2007 09:26:11 +0100 |
added outline for Isabelle library description
|
file | diff | annotate |
| Thu, 23 Nov 2006 20:34:21 +0100 |
prefer antiquotations over LaTeX macros;
|
file | diff | annotate |
| Fri, 03 Nov 2006 14:22:34 +0100 |
first version of style guide
|
file | diff | annotate |
| Tue, 12 Sep 2006 17:45:58 +0200 |
tuned;
|
file | diff | annotate |
| Thu, 07 Sep 2006 20:12:08 +0200 |
tuned;
|
file | diff | annotate |
| Thu, 07 Sep 2006 15:16:41 +0200 |
tentative appendix C;
|
file | diff | annotate |
| Tue, 03 Jan 2006 13:59:55 +0100 |
more stuff;
|
file | diff | annotate |
| Mon, 02 Jan 2006 20:42:12 +0100 |
outline;
|
file | diff | annotate |
| Mon, 02 Jan 2006 20:16:52 +0100 |
"The Isabelle/Isar Implementation" manual;
|
file | diff | annotate |