wenzelm [Thu, 01 Jul 1999 21:29:53 +0200] rev 6881
renamed with/APP to of/OF;
wenzelm [Thu, 01 Jul 1999 21:28:49 +0200] rev 6880
Isar_examples/KnasterTarski.thy;
wenzelm [Thu, 01 Jul 1999 21:27:46 +0200] rev 6879
added with_facts(_i);
also, finally: opt_rules;
wenzelm [Thu, 01 Jul 1999 21:27:04 +0200] rev 6878
'with' as == 'from' as facts;
also, finally: opt_rules;
wenzelm [Thu, 01 Jul 1999 21:25:58 +0200] rev 6877
also, finally: opt_rules;
wenzelm [Thu, 01 Jul 1999 21:20:57 +0200] rev 6876
have_thmss: more_ths;
simple_have_thmss;
wenzelm [Thu, 01 Jul 1999 21:20:27 +0200] rev 6875
have_thmss: more_ths;
wenzelm [Thu, 01 Jul 1999 21:19:45 +0200] rev 6874
renamed with/APP to of/OF;
wenzelm [Thu, 01 Jul 1999 17:42:27 +0200] rev 6873
tuned;
wenzelm [Thu, 01 Jul 1999 17:41:16 +0200] rev 6872
fixed backtracking of global_qed;