isabelle: Changelog

mengj [Fri, 10 Mar 2006 04:03:48 +0100] rev 19230

Shortened the exception messages from assume.

mengj [Fri, 10 Mar 2006 04:02:53 +0100] rev 19229

METAHYPS catches THM assume exception and prints out the terms containing schematic vars.

huffman [Fri, 10 Mar 2006 00:53:28 +0100] rev 19228

added many simple lemmas

mengj [Thu, 09 Mar 2006 06:05:01 +0100] rev 19227

Added more functions to the signature and tidied up some functions.

wenzelm [Wed, 08 Mar 2006 21:40:46 +0100] rev 19226

tuned;

urbanc [Wed, 08 Mar 2006 18:52:43 +0100] rev 19225

tuned some proofs

wenzelm [Wed, 08 Mar 2006 18:37:31 +0100] rev 19224

select_goals: split original conjunctions;

wenzelm [Wed, 08 Mar 2006 18:37:30 +0100] rev 19223

method: goal restriction defaults to [1];

wenzelm [Wed, 08 Mar 2006 18:37:28 +0100] rev 19222

infer_derivs: avoid allocating empty MinProof;

wenzelm [Wed, 08 Mar 2006 18:37:27 +0100] rev 19221

tuned;

isabelle