wenzelm [Fri, 11 Jan 2002 14:53:30 +0100] rev 12720
replace gen_all by forall_elim_vars_safe;
wenzelm [Fri, 11 Jan 2002 14:53:05 +0100] rev 12719
improved forall_elim_vars_safe (no longer invents new indexes);
wenzelm [Fri, 11 Jan 2002 14:44:58 +0100] rev 12718
lemmas (in ACe) AC;
wenzelm [Fri, 11 Jan 2002 14:44:24 +0100] rev 12717
tuned;
wenzelm [Fri, 11 Jan 2002 00:35:03 +0100] rev 12716
IsarThy.theorems_i;
wenzelm [Fri, 11 Jan 2002 00:34:43 +0100] rev 12715
moved setmksimps to Main!
wenzelm [Fri, 11 Jan 2002 00:33:35 +0100] rev 12714
have_thmss vs. have_thmss_i;
with_thmss vs. with_thmss_i;
wenzelm [Fri, 11 Jan 2002 00:32:17 +0100] rev 12713
clarified/added theorems(_i) vs. locale_theorems(_i);
clarified IsarThy.apply_theorems_i;
localized smart_theorems, declare_theorems;
removed declare_theorems_i;
wenzelm [Fri, 11 Jan 2002 00:30:28 +0100] rev 12712
localized 'lemmas', 'theorems', 'declare';
wenzelm [Fri, 11 Jan 2002 00:29:54 +0100] rev 12711
have_thmss vs. have_thmss_i;