isabelle: Changelog

wenzelm [Tue, 06 Jul 1999 21:08:30 +0200] rev 6905

added Numeral.thy, Tools/numeral_syntax.ML;

wenzelm [Tue, 06 Jul 1999 21:06:51 +0200] rev 6904

removed proof history nesting commands (not useful);

wenzelm [Tue, 06 Jul 1999 21:06:03 +0200] rev 6903

improved errors;

wenzelm [Tue, 06 Jul 1999 21:04:37 +0200] rev 6902

removed nesting (unused);

wenzelm [Tue, 06 Jul 1999 21:03:57 +0200] rev 6901

export term_of_typ;

wenzelm [Tue, 06 Jul 1999 21:03:34 +0200] rev 6900

begin_theory: disallow finished;

wenzelm [Tue, 06 Jul 1999 21:03:03 +0200] rev 6899

added clear_mss;

wenzelm [Mon, 05 Jul 1999 09:52:25 +0200] rev 6898

variant version;

wenzelm [Sun, 04 Jul 1999 20:21:45 +0200] rev 6897

fixed scope of x:??H; improved final reasoning: fully formal now;

wenzelm [Sun, 04 Jul 1999 20:20:36 +0200] rev 6896

close_block: transfer_used_names; tuned;

isabelle