isabelle: Changelog

wenzelm [Sun, 15 Jan 2006 20:00:59 +0100] rev 18695

tuned;

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;

wenzelm [Sun, 15 Jan 2006 19:58:56 +0100] rev 18693

guess: used fixed inferred_type of vars;

wenzelm [Sun, 15 Jan 2006 19:58:55 +0100] rev 18692

export add_args; tuned;

wenzelm [Sun, 15 Jan 2006 19:58:54 +0100] rev 18691

attributes: optional weight; tuned;

wenzelm [Sun, 15 Jan 2006 19:58:53 +0100] rev 18690

classical attributes: optional weight;

wenzelm [Sun, 15 Jan 2006 19:58:51 +0100] rev 18689

prefer ex1I over ex_ex1I in single-step reasoning;

wenzelm [Sat, 14 Jan 2006 22:25:34 +0100] rev 18688

generic attributes;

wenzelm [Sat, 14 Jan 2006 17:20:51 +0100] rev 18687

tuned;

wenzelm [Sat, 14 Jan 2006 17:15:24 +0100] rev 18686

* ML/Isar: simplified treatment of user-level errors;

isabelle