wenzelm [Tue, 26 Oct 1999 19:04:55 +0200] rev 7935
added check_known_thy, if_known_thy;
simplified loaded_files;
wenzelm [Tue, 26 Oct 1999 17:00:46 +0200] rev 7934
Isabelle %f;
wenzelm [Tue, 26 Oct 1999 15:23:25 +0200] rev 7933
do not set proof_timing;
wenzelm [Tue, 26 Oct 1999 14:35:45 +0200] rev 7932
export kill_theory;
wenzelm [Tue, 26 Oct 1999 14:35:10 +0200] rev 7931
added kill_thy;
wenzelm [Tue, 26 Oct 1999 14:34:50 +0200] rev 7930
added opt_unit (from isar_syn.ML);
wenzelm [Tue, 26 Oct 1999 00:04:05 +0200] rev 7929
added drop_ext;
tuned;
wenzelm [Mon, 25 Oct 1999 20:38:03 +0200] rev 7928
improved handling of warn_extra_tfrees;
wenzelm [Mon, 25 Oct 1999 19:24:43 +0200] rev 7927
update by Gertrud Bauer;
wenzelm [Mon, 25 Oct 1999 19:24:31 +0200] rev 7926
added Real/HahnBanach/document/root.bib;
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;
wenzelm [Thu, 21 Oct 1999 19:00:01 +0200] rev 7910
added known_thy;
added touch_child_thys;
tuned loaded_files;
wenzelm [Thu, 21 Oct 1999 18:59:25 +0200] rev 7909
end/kill_theory: check_known_thy;
wenzelm [Thu, 21 Oct 1999 18:59:01 +0200] rev 7908
added touch_child_thys;
wenzelm [Thu, 21 Oct 1999 18:47:33 +0200] rev 7907
\isakeyword: fixed italic correction;
wenzelm [Thu, 21 Oct 1999 18:46:33 +0200] rev 7906
get_thm;
wenzelm [Thu, 21 Oct 1999 18:45:55 +0200] rev 7905
tuned;
wenzelm [Thu, 21 Oct 1999 18:45:31 +0200] rev 7904
proper handling of axioms / defs;