Mon, 18 Oct 2010 15:35:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 17 Oct 2010 20:25:36 +0100 |
wenzelm |
use continental paragraph style, which works better with mixture of (in)formal text;
|
file |
diff |
annotate
|
Wed, 13 Oct 2010 13:05:23 +0100 |
wenzelm |
examples in Isabelle/HOL;
|
file |
diff |
annotate
|
Mon, 11 Oct 2010 21:10:50 +0100 |
wenzelm |
more refs;
|
file |
diff |
annotate
|
Sat, 09 Oct 2010 21:04:03 +0100 |
wenzelm |
various concrete ML antiquotations;
|
file |
diff |
annotate
|
Thu, 07 Oct 2010 12:39:01 +0100 |
wenzelm |
minor tuning and updating;
|
file |
diff |
annotate
|
Fri, 10 Sep 2010 15:42:14 +0200 |
wenzelm |
fixed antiquotation;
|
file |
diff |
annotate
|
Mon, 26 Apr 2010 11:20:18 +0200 |
wenzelm |
updated Sign.add_type_abbrev;
|
file |
diff |
annotate
|
Fri, 16 Apr 2010 12:51:57 +0200 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
Wed, 14 Apr 2010 11:24:31 +0200 |
wenzelm |
updated Thm.add_axiom/add_def;
|
file |
diff |
annotate
|
Tue, 23 Mar 2010 12:29:41 +0100 |
wenzelm |
updated Thm.add_axiom/add_def;
|
file |
diff |
annotate
|
Tue, 02 Feb 2010 12:37:57 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Thu, 28 Jan 2010 22:38:11 +0100 |
wenzelm |
formal markup of type aliases;
|
file |
diff |
annotate
|
Mon, 26 Oct 2009 08:54:20 +0100 |
haftmann |
adjusted to changes in corresponding ML code
|
file |
diff |
annotate
|
Thu, 01 Oct 2009 20:04:44 +0200 |
wenzelm |
explicitly Unsynchronized;
|
file |
diff |
annotate
|
Mon, 16 Mar 2009 23:36:55 +0100 |
wenzelm |
provide Simplifier.norm_hhf(_protect) as regular simplifier operation;
|
file |
diff |
annotate
|
Sun, 08 Mar 2009 00:41:52 +0100 |
wenzelm |
use binding type;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 19:48:02 +0100 |
wenzelm |
Thm.add_oracle interface: replaced old bstring by binding;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 02:27:54 +0100 |
wenzelm |
regenerated document;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 02:20:06 +0100 |
wenzelm |
dummy changes to produce a new changeset of these files;
|
file |
diff |
annotate
|
Sat, 21 Feb 2009 18:05:12 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 20 Feb 2009 21:00:28 +0100 |
wenzelm |
improved section "Rule composition";
|
file |
diff |
annotate
|
Fri, 20 Feb 2009 19:07:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 20 Feb 2009 18:48:58 +0100 |
wenzelm |
improved section on "Hereditary Harrop Formulae";
|
file |
diff |
annotate
|
Thu, 19 Feb 2009 21:19:49 +0100 |
wenzelm |
more on object-level rules;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 21:39:19 +0100 |
wenzelm |
minor tuning and typographic fixes;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 21:23:33 +0100 |
wenzelm |
removed rudiments of glossary;
|
file |
diff |
annotate
|
Mon, 16 Feb 2009 20:47:44 +0100 |
wenzelm |
observe usual theory naming conventions;
|
file |
diff |
annotate
| base
|