Fri, 22 Oct 1999 18:26:46 +0200 new theorems on Image
paulson [Fri, 22 Oct 1999 18:26:46 +0200] rev 7913
new theorems on Image
Fri, 22 Oct 1999 17:04:19 +0200 tidied using modern infix form
paulson [Fri, 22 Oct 1999 17:04:19 +0200] rev 7912
tidied using modern infix form
Thu, 21 Oct 1999 19:00:25 +0200 tuned trace_action;
wenzelm [Thu, 21 Oct 1999 19:00:25 +0200] rev 7911
tuned trace_action;
Thu, 21 Oct 1999 19:00:01 +0200 added known_thy;
wenzelm [Thu, 21 Oct 1999 19:00:01 +0200] rev 7910
added known_thy; added touch_child_thys; tuned loaded_files;
Thu, 21 Oct 1999 18:59:25 +0200 end/kill_theory: check_known_thy;
wenzelm [Thu, 21 Oct 1999 18:59:25 +0200] rev 7909
end/kill_theory: check_known_thy;
Thu, 21 Oct 1999 18:59:01 +0200 added touch_child_thys;
wenzelm [Thu, 21 Oct 1999 18:59:01 +0200] rev 7908
added touch_child_thys;
Thu, 21 Oct 1999 18:47:33 +0200 \isakeyword: fixed italic correction;
wenzelm [Thu, 21 Oct 1999 18:47:33 +0200] rev 7907
\isakeyword: fixed italic correction;
Thu, 21 Oct 1999 18:46:33 +0200 get_thm;
wenzelm [Thu, 21 Oct 1999 18:46:33 +0200] rev 7906
get_thm;
Thu, 21 Oct 1999 18:45:55 +0200 tuned;
wenzelm [Thu, 21 Oct 1999 18:45:55 +0200] rev 7905
tuned;
Thu, 21 Oct 1999 18:45:31 +0200 proper handling of axioms / defs;
wenzelm [Thu, 21 Oct 1999 18:45:31 +0200] rev 7904
proper handling of axioms / defs;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip