isabelle: Changelog

haftmann [Wed, 27 May 2009 22:11:06 +0200] rev 31268

added lemma select_weight_cons_zero

haftmann [Wed, 27 May 2009 22:11:05 +0200] rev 31267

added lemma beyond_zero; hide constants

haftmann [Wed, 27 May 2009 22:11:05 +0200] rev 31266

added lemma about 0 - 1

wenzelm [Wed, 27 May 2009 21:08:47 +0200] rev 31265

merged

nipkow [Wed, 27 May 2009 07:56:11 +0200] rev 31264

more lemmas

haftmann [Wed, 27 May 2009 07:28:29 +0200] rev 31263

merged

haftmann [Tue, 26 May 2009 17:29:34 +0200] rev 31262

add_primrec_simple

haftmann [Tue, 26 May 2009 17:29:33 +0200] rev 31261

dropped superfluos prefixes

haftmann [Tue, 26 May 2009 17:29:32 +0200] rev 31260

separate module for quickcheck generators

huffman [Tue, 26 May 2009 11:02:59 -0700] rev 31259

encode gauge-fine partitions with lists instead of functions; remove lots of unnecessary lemmas

isabelle