isabelle: Changelog

wenzelm [Tue, 12 Dec 2006 20:50:23 +0100] rev 21806

updated;

wenzelm [Tue, 12 Dec 2006 20:49:32 +0100] rev 21805

simplified unlocalize_mixfix;

wenzelm [Tue, 12 Dec 2006 20:49:31 +0100] rev 21804

removed is_class -- handled internally; begin: is_class argument; added fork_mixfix; abbrev/defs: internal_abbrev produces hypothetical term;

wenzelm [Tue, 12 Dec 2006 20:49:30 +0100] rev 21803

notation: Term.equiv_types; add_abbrev: tuned signature, added assumption export; added local_abbrev; tuned;

wenzelm [Tue, 12 Dec 2006 20:49:29 +0100] rev 21802

abbrev: tuned signature;

wenzelm [Tue, 12 Dec 2006 20:49:28 +0100] rev 21801

tuned expand_term;

wenzelm [Tue, 12 Dec 2006 20:49:27 +0100] rev 21800

classified show/thus as prf_asm_goal, which is usually hilited in PG;

wenzelm [Tue, 12 Dec 2006 20:49:26 +0100] rev 21799

tuned expand_binds;

wenzelm [Tue, 12 Dec 2006 20:49:25 +0100] rev 21798

tuned error messages;

wenzelm [Tue, 12 Dec 2006 20:49:24 +0100] rev 21797

added equiv_types;

isabelle