| Wed, 02 Jan 2002 21:52:15 +0100 |
wenzelm |
added isabelle-intro, isabelle-logics;
|
changeset |
files
|
| Wed, 02 Jan 2002 21:51:38 +0100 |
wenzelm |
added \indexisarcmdof, \indexisarmethof, \indexisarattof;
|
changeset |
files
|
| Wed, 02 Jan 2002 16:07:16 +0100 |
paulson |
New theorems by Sidi Ehmety
|
changeset |
files
|
| Wed, 02 Jan 2002 16:06:31 +0100 |
paulson |
Literal arithmetic: raising numbers to powers (nat, int, real, hypreal)
|
changeset |
files
|
| Mon, 31 Dec 2001 14:13:07 +0100 |
berghofe |
Added "Executing higher order logic" paper.
|
changeset |
files
|
| Mon, 31 Dec 2001 14:08:23 +0100 |
berghofe |
Added section on code generator.
|
changeset |
files
|
| Sat, 29 Dec 2001 18:36:12 +0100 |
wenzelm |
tuned document sources;
|
changeset |
files
|
| Sat, 29 Dec 2001 18:35:27 +0100 |
wenzelm |
'inductive_cases': support 'and' form;
|
changeset |
files
|
| Sat, 29 Dec 2001 18:34:42 +0100 |
wenzelm |
* ZF/IMP: updated and converted to new-style theory format;
|
changeset |
files
|
| Sat, 29 Dec 2001 13:14:11 +0100 |
wenzelm |
update by Stephan Merz;
|
changeset |
files
|
| Fri, 28 Dec 2001 10:11:14 +0100 |
paulson |
conversion to Isar/ZF
|
changeset |
files
|
| Fri, 28 Dec 2001 10:10:55 +0100 |
paulson |
fixed variable-clash bug in make_elim
|
changeset |
files
|
| Thu, 27 Dec 2001 16:49:15 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|
| Thu, 27 Dec 2001 16:46:52 +0100 |
wenzelm |
tuned tracing markup;
|
changeset |
files
|