haftmann [Wed, 27 May 2009 22:11:05 +0200] rev 31259
added lemma about 0 - 1
nipkow [Wed, 27 May 2009 07:56:11 +0200] rev 31258
more lemmas
haftmann [Wed, 27 May 2009 07:28:29 +0200] rev 31257
merged
haftmann [Tue, 26 May 2009 17:29:34 +0200] rev 31256
add_primrec_simple
haftmann [Tue, 26 May 2009 17:29:33 +0200] rev 31255
dropped superfluos prefixes
haftmann [Tue, 26 May 2009 17:29:32 +0200] rev 31254
separate module for quickcheck generators
huffman [Tue, 26 May 2009 11:02:59 -0700] rev 31253
encode gauge-fine partitions with lists instead of functions; remove lots of unnecessary lemmas
huffman [Tue, 26 May 2009 10:31:39 -0700] rev 31252
listsum lemmas
huffman [Tue, 26 May 2009 07:39:52 -0700] rev 31251
clean up some rsum proofs
haftmann [Tue, 26 May 2009 13:40:50 +0200] rev 31250
weakend references to old axclass