isabelle: Changelog

wenzelm [Tue, 15 Apr 2008 18:49:13 +0200] rev 26661

Sign.hide_const;

wenzelm [Tue, 15 Apr 2008 18:49:12 +0200] rev 26660

added hide fact;

wenzelm [Tue, 15 Apr 2008 16:25:14 +0200] rev 26659

tuned;

wenzelm [Tue, 15 Apr 2008 16:12:18 +0200] rev 26658

removed eval_antiquotes_fn; eval: CRITICAL for now;

wenzelm [Tue, 15 Apr 2008 16:12:16 +0200] rev 26657

merge: canonical order;

wenzelm [Tue, 15 Apr 2008 16:12:15 +0200] rev 26656

Library.is_equal;

wenzelm [Tue, 15 Apr 2008 16:12:13 +0200] rev 26655

moved forall_elim_var(s) to more_thm.ML; get_thm(s) and hide_thms: use new table;

wenzelm [Tue, 15 Apr 2008 16:12:11 +0200] rev 26654

disallow duplicate entries (weak version for merge); added hide;

wenzelm [Tue, 15 Apr 2008 16:12:05 +0200] rev 26653

Thm.forall_elim_var(s);

wenzelm [Tue, 15 Apr 2008 16:12:01 +0200] rev 26652

proper dynamic facts for eqvts, freshs, bijs; removed obsolete print_data -- facts are accesivle via regular names; misc tuning/simplification;

isabelle