wenzelm [Mon, 09 Nov 1998 15:34:41 +0100] rev 5831
Non-logical toplevel commands.
wenzelm [Mon, 09 Nov 1998 15:34:23 +0100] rev 5830
Derived theory operations.
wenzelm [Mon, 09 Nov 1998 15:34:05 +0100] rev 5829
The global Isabelle/Isar outer syntax.
wenzelm [Mon, 09 Nov 1998 15:33:48 +0100] rev 5828
The Isabelle/Isar toplevel.
wenzelm [Mon, 09 Nov 1998 15:33:32 +0100] rev 5827
Histories of proof states, with undo / redo and prev / back.
wenzelm [Mon, 09 Nov 1998 15:33:12 +0100] rev 5826
Generic parsers for Isabelle/Isar outer syntax.
wenzelm [Mon, 09 Nov 1998 15:32:58 +0100] rev 5825
Outer lexical syntax for Isabelle/Isar.
wenzelm [Mon, 09 Nov 1998 15:32:43 +0100] rev 5824
Proof methods.
wenzelm [Mon, 09 Nov 1998 15:32:20 +0100] rev 5823
Symbolic theorem attributes.
wenzelm [Mon, 09 Nov 1998 15:32:02 +0100] rev 5822
Concrete argument syntax (for attributes, methods etc.).
wenzelm [Mon, 09 Nov 1998 15:31:46 +0100] rev 5821
Type-safe interface for proof context data.
wenzelm [Mon, 09 Nov 1998 15:31:29 +0100] rev 5820
Proof states and methods.
wenzelm [Mon, 09 Nov 1998 15:31:04 +0100] rev 5819
Proof context information.
wenzelm [Mon, 09 Nov 1998 15:30:46 +0100] rev 5818
Isar -- Intelligible Semi-Automated Reasoning for Isabelle.
wenzelm [Mon, 09 Nov 1998 12:27:41 +0100] rev 5817
Check release name and date in NEWS!
wenzelm [Mon, 09 Nov 1998 11:25:24 +0100] rev 5816
smart interrupt handler;
wenzelm [Mon, 09 Nov 1998 11:20:46 +0100] rev 5815
option -I: startup Isar interaction mode;
wenzelm [Mon, 09 Nov 1998 11:20:07 +0100] rev 5814
isabelle -I;
wenzelm [Mon, 09 Nov 1998 11:09:33 +0100] rev 5813
fake interrupt handler;
wenzelm [Mon, 09 Nov 1998 11:08:42 +0100] rev 5812
simple interrupt_handler;
paulson [Mon, 09 Nov 1998 11:00:44 +0100] rev 5811
new Domain/Range rules
paulson [Mon, 09 Nov 1998 10:59:47 +0100] rev 5810
new TIMES/Sigma rules
paulson [Mon, 09 Nov 1998 10:58:49 +0100] rev 5809
removed obsolete comment and "open" declaration
paulson [Fri, 06 Nov 1998 15:48:37 +0100] rev 5808
"Subscribe" link
wenzelm [Fri, 06 Nov 1998 14:04:54 +0100] rev 5807
spell check;
wenzelm [Fri, 06 Nov 1998 13:58:59 +0100] rev 5806
tuned;
mueller [Fri, 06 Nov 1998 13:42:13 +0100] rev 5805
added mailing list, removed mirrors;
paulson [Fri, 06 Nov 1998 13:20:29 +0100] rev 5804
Revising the Client proof as suggested by Michel Charpentier. New lemmas
about composition (in Union.ML), etc. Also changed "length" to "size"
because it is displayed as "size" in any event.
mueller [Thu, 05 Nov 1998 15:33:27 +0100] rev 5803
made more generic;
nipkow [Thu, 05 Nov 1998 14:05:57 +0100] rev 5802
Shortened names and added new thm.