isabelle: Changelog

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

huffman [Tue, 26 May 2009 10:31:39 -0700] rev 31258

listsum lemmas

huffman [Tue, 26 May 2009 07:39:52 -0700] rev 31257

clean up some rsum proofs

haftmann [Tue, 26 May 2009 13:40:50 +0200] rev 31256

weakend references to old axclass

haftmann [Tue, 26 May 2009 13:40:49 +0200] rev 31255

clarified benefit of interpretation

haftmann [Tue, 26 May 2009 12:31:01 +0200] rev 31254

documented print_codeproc command

isabelle