isabelle: Changelog

wenzelm [Sat, 28 Jan 2006 17:28:55 +0100] rev 18821

(un)folded: support object-level rewrites;

wenzelm [Sat, 28 Jan 2006 17:28:54 +0100] rev 18820

added equals_cong;

wenzelm [Sat, 28 Jan 2006 17:28:53 +0100] rev 18819

added Isar/local_defs.ML;

wenzelm [Sat, 28 Jan 2006 17:28:52 +0100] rev 18818

LocalDefs.add_def;

wenzelm [Sat, 28 Jan 2006 17:28:51 +0100] rev 18817

LocalDefs.def_export;

wenzelm [Sat, 28 Jan 2006 17:28:50 +0100] rev 18816

tuned proofs;

wenzelm [Sat, 28 Jan 2006 17:28:48 +0100] rev 18815

Pure/Isar: (un)folded, (un)fold, unfolding support object-level rewrite rules; ML/Isar: installed ML toplevel pretty printer for type Proof.context;

webertj [Fri, 27 Jan 2006 20:17:24 +0100] rev 18814

interrupt_timeout for Poly replaced by stub

wenzelm [Fri, 27 Jan 2006 19:05:24 +0100] rev 18813

added atomize_iff;

wenzelm [Fri, 27 Jan 2006 19:03:19 +0100] rev 18812

renamed Pretty.gen_list to Pretty.enum;

isabelle