| 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
|