wenzelm [Thu, 30 Nov 2006 16:48:42 +0100] rev 21613
notes: more careful treatment of Goal.close_result;
tuned;
wenzelm [Thu, 30 Nov 2006 16:48:41 +0100] rev 21612
note_thmss: refrain from closing the derivation here;
wenzelm [Thu, 30 Nov 2006 14:17:37 +0100] rev 21611
notes: proper import/export of proofs (still inactive);
Goal.norm/close_result;
tuned;
wenzelm [Thu, 30 Nov 2006 14:17:36 +0100] rev 21610
removed obsolete (export_)standard;
wenzelm [Thu, 30 Nov 2006 14:17:34 +0100] rev 21609
added mixfix';
wenzelm [Thu, 30 Nov 2006 14:17:34 +0100] rev 21608
added merge_list;
wenzelm [Thu, 30 Nov 2006 14:17:32 +0100] rev 21607
zero_var_indexes_inst: multiple terms;
tuned;
wenzelm [Thu, 30 Nov 2006 14:17:31 +0100] rev 21606
Theory.merge_list;
wenzelm [Thu, 30 Nov 2006 14:17:29 +0100] rev 21605
qualified MetaSimplifier.norm_hhf(_protect);
wenzelm [Thu, 30 Nov 2006 14:17:29 +0100] rev 21604
added norm/close_result (supercede local_standard etc.);