Sun, 15 Jan 2006 20:04:05 +0100 tuned;
wenzelm [Sun, 15 Jan 2006 20:04:05 +0100] rev 18696
tuned;
Sun, 15 Jan 2006 20:00:59 +0100 tuned;
wenzelm [Sun, 15 Jan 2006 20:00:59 +0100] rev 18695
tuned;
Sun, 15 Jan 2006 19:58:57 +0100 * Classical: optional weight for attributes;
wenzelm [Sun, 15 Jan 2006 19:58:57 +0100] rev 18694
* Classical: optional weight for attributes; * HOL: prefer ex1I over ex_ex1I in single-step reasoning;
Sun, 15 Jan 2006 19:58:56 +0100 guess: used fixed inferred_type of vars;
wenzelm [Sun, 15 Jan 2006 19:58:56 +0100] rev 18693
guess: used fixed inferred_type of vars;
Sun, 15 Jan 2006 19:58:55 +0100 export add_args;
wenzelm [Sun, 15 Jan 2006 19:58:55 +0100] rev 18692
export add_args; tuned;
Sun, 15 Jan 2006 19:58:54 +0100 attributes: optional weight;
wenzelm [Sun, 15 Jan 2006 19:58:54 +0100] rev 18691
attributes: optional weight; tuned;
Sun, 15 Jan 2006 19:58:53 +0100 classical attributes: optional weight;
wenzelm [Sun, 15 Jan 2006 19:58:53 +0100] rev 18690
classical attributes: optional weight;
Sun, 15 Jan 2006 19:58:51 +0100 prefer ex1I over ex_ex1I in single-step reasoning;
wenzelm [Sun, 15 Jan 2006 19:58:51 +0100] rev 18689
prefer ex1I over ex_ex1I in single-step reasoning;
Sat, 14 Jan 2006 22:25:34 +0100 generic attributes;
wenzelm [Sat, 14 Jan 2006 22:25:34 +0100] rev 18688
generic attributes;
Sat, 14 Jan 2006 17:20:51 +0100 tuned;
wenzelm [Sat, 14 Jan 2006 17:20:51 +0100] rev 18687
tuned;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip