isabelle: Changelog

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

huffman [Mon, 25 May 2009 22:14:59 -0700] rev 31253

use interval sets with gauge predicate

huffman [Mon, 25 May 2009 21:55:07 -0700] rev 31252

clean up some proofs

haftmann [Sun, 24 May 2009 15:02:23 +0200] rev 31251

tuned whitespace

haftmann [Sun, 24 May 2009 15:02:23 +0200] rev 31250

funpow_yield; tuned

isabelle