isabelle: Changelog

wenzelm [Tue, 14 Mar 2000 22:57:54 +0100] rev 8452

silence undo command;

wenzelm [Tue, 14 Mar 2000 11:33:30 +0100] rev 8451

tuned comments;

wenzelm [Tue, 14 Mar 2000 11:33:14 +0100] rev 8450

invoke_case: include attributes;

wenzelm [Tue, 14 Mar 2000 11:32:38 +0100] rev 8449

'cases' and 'induct' methods;

wenzelm [Tue, 14 Mar 2000 11:31:45 +0100] rev 8448

tuned 'case';

wenzelm [Tue, 14 Mar 2000 11:31:04 +0100] rev 8447

added 'case' command; added 'print_facts', 'print_binds', 'print_cases' commands; added 'cases' method; tuned;

wenzelm [Tue, 14 Mar 2000 11:27:38 +0100] rev 8446

added \NEXT;

wenzelm [Mon, 13 Mar 2000 23:01:09 +0100] rev 8445

proper symbol_output for "xsymbols" mode;

wenzelm [Mon, 13 Mar 2000 16:24:52 +0100] rev 8444

replaced exhaust_tac by case_tac;

wenzelm [Mon, 13 Mar 2000 16:24:23 +0100] rev 8443

renamed cases_tac to case_tac;

isabelle