isabelle: Changelog

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;

wenzelm [Wed, 08 Mar 2006 18:37:25 +0100] rev 19220

Isar/method: goal restriction;

wenzelm [Wed, 08 Mar 2006 18:37:24 +0100] rev 19219

constdecl: always allow 'where';

isabelle