isabelle: Changelog

wenzelm [Sun, 10 Dec 2006 15:30:44 +0100] rev 21745

extract_case: Name.clean;

wenzelm [Sun, 10 Dec 2006 15:30:43 +0100] rev 21744

added target_notation/abbrev; tuned;

wenzelm [Sun, 10 Dec 2006 15:30:42 +0100] rev 21743

added notation/abbrev (from term_syntax.ML);

wenzelm [Sun, 10 Dec 2006 15:30:40 +0100] rev 21742

tuned absdummy;

wenzelm [Sun, 10 Dec 2006 15:30:39 +0100] rev 21741

added no_frees; add_abbrev: tuned handling of frees, temp workaround;

wenzelm [Sun, 10 Dec 2006 15:30:38 +0100] rev 21740

removed (cf. proof_context.ML and local_theory.ML);

wenzelm [Sun, 10 Dec 2006 15:30:37 +0100] rev 21739

removed Isar/term_syntax.ML;

wenzelm [Sun, 10 Dec 2006 15:30:35 +0100] rev 21738

avoid internal name O_;

wenzelm [Sun, 10 Dec 2006 15:30:34 +0100] rev 21737

hide const linorder.less_eq_less.max linorder.less_eq_less.min;

wenzelm [Sun, 10 Dec 2006 15:30:33 +0100] rev 21736

hardwired option -q;

isabelle