wenzelm [Fri, 22 Oct 1999 21:50:12 +0200] rev 7925
warn_extra_tfrees (after declare_term);
wenzelm [Fri, 22 Oct 1999 21:49:33 +0200] rev 7924
warn_extra_tfrees;
removed bind(_i), add_binds, declare_term;
wenzelm [Fri, 22 Oct 1999 21:48:50 +0200] rev 7923
warn_extra_tfrees;
wenzelm [Fri, 22 Oct 1999 20:25:19 +0200] rev 7922
tuned repeat_undo;
wenzelm [Fri, 22 Oct 1999 20:25:00 +0200] rev 7921
debug_simp;
wenzelm [Fri, 22 Oct 1999 20:24:13 +0200] rev 7920
new flag debug_simp
wenzelm [Fri, 22 Oct 1999 20:24:08 +0200] rev 7919
tuned simplifier trace output; new flag debug_simp
wenzelm [Fri, 22 Oct 1999 20:23:40 +0200] rev 7918
achieve proper italic correction;
wenzelm [Fri, 22 Oct 1999 20:14:31 +0200] rev 7917
HahnBanach update by Gertrud Bauer;
paulson [Fri, 22 Oct 1999 18:41:00 +0200] rev 7916
replaced image_image_eq_UN by image_eq_UN
paulson [Fri, 22 Oct 1999 18:35:20 +0200] rev 7915
ALMOST working version: LocalTo results commented out
paulson [Fri, 22 Oct 1999 18:33:39 +0200] rev 7914
new default simprules for UN and INT
paulson [Fri, 22 Oct 1999 18:26:46 +0200] rev 7913
new theorems on Image
paulson [Fri, 22 Oct 1999 17:04:19 +0200] rev 7912
tidied using modern infix form
wenzelm [Thu, 21 Oct 1999 19:00:25 +0200] rev 7911
tuned trace_action;