isabelle: Changelog

bulwahn [Tue, 04 May 2010 11:00:16 +0200] rev 36639

added function ffilter and some lemmas from Finite_Set to the FSet theory

haftmann [Tue, 04 May 2010 10:49:46 +0200] rev 36638

merged

haftmann [Tue, 04 May 2010 10:02:43 +0200] rev 36637

avoid if on rhs of default simp rules

krauss [Tue, 04 May 2010 09:25:38 +0200] rev 36636

avoid exception Empty on malformed goal

haftmann [Tue, 04 May 2010 08:55:43 +0200] rev 36635

locale predicates of classes carry a mandatory "class" prefix

haftmann [Tue, 04 May 2010 08:55:39 +0200] rev 36634

a ring_div is a ring_1_no_zero_divisors

haftmann [Tue, 04 May 2010 08:55:34 +0200] rev 36633

NEWS

huffman [Mon, 03 May 2010 10:28:19 -0700] rev 36632

merged

huffman [Sat, 01 May 2010 16:13:24 -0700] rev 36631

merged

huffman [Sat, 01 May 2010 11:46:47 -0700] rev 36630

complete_lattice instance for net type

isabelle