| Tue, 19 Apr 2011 10:50:54 +0200 |
wenzelm |
updated some theory primitives, which now depend on auxiliary context;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 16:14:40 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| 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
|