isabelle: Changelog

wenzelm [Fri, 01 Jun 2012 13:39:14 +0200] rev 48057

use \tocentry as in implementation manual;

wenzelm [Fri, 01 Jun 2012 13:02:09 +0200] rev 48056

tuned message;

wenzelm [Fri, 01 Jun 2012 12:45:22 +0200] rev 48055

tuned header;

Andreas Lochbihler [Fri, 01 Jun 2012 08:32:26 +0200] rev 48054

merged

Andreas Lochbihler [Thu, 31 May 2012 17:10:43 +0200] rev 48053

tuned proofs

Andreas Lochbihler [Thu, 31 May 2012 17:04:11 +0200] rev 48052

tuned instantiations dropped redundant lemmas

Andreas Lochbihler [Thu, 31 May 2012 16:58:38 +0200] rev 48051

unify Card_Univ and Cardinality

huffman [Thu, 31 May 2012 15:47:06 +0200] rev 48050

definition less_int_def has changed, use 'less_le' instead

bulwahn [Mon, 28 May 2012 02:18:46 +0200] rev 48049

adding incompleted simproc to rewrite set comprehensions into pointfree expressions on sets

huffman [Thu, 31 May 2012 10:05:07 +0200] rev 48048

remove stray reference to no-longer-existing theorem 'add'

isabelle