2009-05-27 haftmann [Wed, 27 May 2009 22:11:05 +0200] rev 31266
added lemma about 0 - 1
src/HOL/Code_Numeral.thy

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

2009-05-27 nipkow [Wed, 27 May 2009 07:56:11 +0200] rev 31264
more lemmas
src/HOL/List.thy

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

2009-05-26 haftmann [Tue, 26 May 2009 17:29:34 +0200] rev 31262
add_primrec_simple
src/HOL/Tools/primrec_package.ML

2009-05-26 haftmann [Tue, 26 May 2009 17:29:33 +0200] rev 31261
dropped superfluos prefixes
src/HOL/Random.thy

2009-05-26 haftmann [Tue, 26 May 2009 17:29:32 +0200] rev 31260
separate module for quickcheck generators
src/HOL/IsaMakefile src/HOL/Quickcheck.thy src/HOL/Tools/quickcheck_generators.ML

2009-05-26 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
src/HOL/Integration.thy

2009-05-26 huffman [Tue, 26 May 2009 10:31:39 -0700] rev 31258
listsum lemmas
src/HOL/List.thy

2009-05-26 huffman [Tue, 26 May 2009 07:39:52 -0700] rev 31257
clean up some rsum proofs
src/HOL/Integration.thy