isabelle: Changelog

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;

wenzelm [Tue, 12 Dec 2006 20:49:23 +0100] rev 21796

add_abbrev: tuned signature;

wenzelm [Tue, 12 Dec 2006 20:49:22 +0100] rev 21795

added expand_term_frees;

wenzelm [Tue, 12 Dec 2006 20:49:21 +0100] rev 21794

abbreviate: tuned signature;

wenzelm [Tue, 12 Dec 2006 20:49:19 +0100] rev 21793

LocalTheory.abbrev;

huffman [Tue, 12 Dec 2006 17:29:26 +0100] rev 21792

removed redundant constants and lemmas

isabelle