| Mon, 09 Nov 1998 15:32:58 +0100 |
wenzelm |
Outer lexical syntax for Isabelle/Isar.
|
changeset |
files
|
| Mon, 09 Nov 1998 15:32:43 +0100 |
wenzelm |
Proof methods.
|
changeset |
files
|
| Mon, 09 Nov 1998 15:32:20 +0100 |
wenzelm |
Symbolic theorem attributes.
|
changeset |
files
|
| Mon, 09 Nov 1998 15:32:02 +0100 |
wenzelm |
Concrete argument syntax (for attributes, methods etc.).
|
changeset |
files
|
| Mon, 09 Nov 1998 15:31:46 +0100 |
wenzelm |
Type-safe interface for proof context data.
|
changeset |
files
|
| Mon, 09 Nov 1998 15:31:29 +0100 |
wenzelm |
Proof states and methods.
|
changeset |
files
|
| Mon, 09 Nov 1998 15:31:04 +0100 |
wenzelm |
Proof context information.
|
changeset |
files
|
| Mon, 09 Nov 1998 15:30:46 +0100 |
wenzelm |
Isar -- Intelligible Semi-Automated Reasoning for Isabelle.
|
changeset |
files
|
| Mon, 09 Nov 1998 12:27:41 +0100 |
wenzelm |
Check release name and date in NEWS!
|
changeset |
files
|
| Mon, 09 Nov 1998 11:25:24 +0100 |
wenzelm |
smart interrupt handler;
|
changeset |
files
|
| Mon, 09 Nov 1998 11:20:46 +0100 |
wenzelm |
option -I: startup Isar interaction mode;
|
changeset |
files
|
| Mon, 09 Nov 1998 11:20:07 +0100 |
wenzelm |
isabelle -I;
|
changeset |
files
|