isabelle: Changelog

wenzelm [Tue, 31 Jan 2006 18:19:34 +0100] rev 18878

tuned LocalDefs.unfold;

wenzelm [Tue, 31 Jan 2006 18:19:32 +0100] rev 18877

(un)fold: removed '(raw)' option;

wenzelm [Tue, 31 Jan 2006 18:19:31 +0100] rev 18876

added consts_retricted; pretty/print_consts: parameter restriction;

wenzelm [Tue, 31 Jan 2006 18:19:30 +0100] rev 18875

(un)fold: no raw flag; tuned;

wenzelm [Tue, 31 Jan 2006 18:19:29 +0100] rev 18874

tuned;

wenzelm [Tue, 31 Jan 2006 18:19:28 +0100] rev 18873

tuned LocalTheory.pretty_consts;

wenzelm [Tue, 31 Jan 2006 18:19:27 +0100] rev 18872

(un)folded: removed '(raw)' option;

wenzelm [Tue, 31 Jan 2006 18:19:26 +0100] rev 18871

lambda: abstract over TYPE argument, too;

wenzelm [Tue, 31 Jan 2006 18:19:25 +0100] rev 18870

tuned comments;

paulson [Tue, 31 Jan 2006 17:48:28 +0100] rev 18869

removal of ResClause.num_of_clauses and other simplifications

isabelle