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;
Thu, 21 Oct 1999 18:44:34 +0200 markup: keep indentation;
wenzelm [Thu, 21 Oct 1999 18:44:34 +0200] rev 7903
markup: keep indentation;
Thu, 21 Oct 1999 18:44:05 +0200 added is_indent;
wenzelm [Thu, 21 Oct 1999 18:44:05 +0200] rev 7902
added is_indent;
Thu, 21 Oct 1999 18:43:21 +0200 export thy_path;
wenzelm [Thu, 21 Oct 1999 18:43:21 +0200] rev 7901
export thy_path;
Thu, 21 Oct 1999 18:43:06 +0200 output \isasymbols;
wenzelm [Thu, 21 Oct 1999 18:43:06 +0200] rev 7900
output \isasymbols;
Thu, 21 Oct 1999 18:42:38 +0200 forall_elim_var(s) move here from drule.ML;
wenzelm [Thu, 21 Oct 1999 18:42:38 +0200] rev 7899
forall_elim_var(s) move here from drule.ML; add_axioms/defs: forall_elim_vars on result;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip