isabelle: Changelog

huffman [Wed, 19 Oct 2011 17:45:25 +0200] rev 45205

merged

huffman [Tue, 18 Oct 2011 15:19:06 +0200] rev 45204

hide typedef-generated constants Product_Type.prod and Sum_Type.sum

blanchet [Wed, 19 Oct 2011 16:36:13 +0200] rev 45203

more uniform SZS status handling

blanchet [Wed, 19 Oct 2011 16:36:13 +0200] rev 45202

avoid generating too meta theorems -- this sometimes leads to type errors, e.g. when "pp" is applied to a "prop" instead of a "bool"

nipkow [Wed, 19 Oct 2011 16:32:30 +0200] rev 45201

merged

nipkow [Wed, 19 Oct 2011 16:32:12 +0200] rev 45200

renamed B to Bc

wenzelm [Wed, 19 Oct 2011 17:04:43 +0200] rev 45199

tuned comment;

wenzelm [Wed, 19 Oct 2011 17:03:07 +0200] rev 45198

proper source positions for @{lemma};

wenzelm [Wed, 19 Oct 2011 16:45:46 +0200] rev 45197

more robust toplevel_error reporting (NB: Context.proof_of on a stale theory crashes ungracefully);

wenzelm [Wed, 19 Oct 2011 15:42:43 +0200] rev 45196

inlined @{thms} (ML compile-time) allows to get rid of legacy zadd_ac as well (cf. 49e305100097);

isabelle