2009-05-26 haftmann [Tue, 26 May 2009 12:31:01 +0200] rev 31254
documented print_codeproc command
doc-src/Codegen/Thy/Program.thy doc-src/Codegen/Thy/document/Program.tex doc-src/IsarRef/Thy/HOL_Specific.thy doc-src/IsarRef/Thy/document/HOL_Specific.tex

2009-05-25 huffman [Mon, 25 May 2009 22:14:59 -0700] rev 31253
use interval sets with gauge predicate
src/HOL/Integration.thy

2009-05-25 huffman [Mon, 25 May 2009 21:55:07 -0700] rev 31252
clean up some proofs
src/HOL/Integration.thy

2009-05-24 haftmann [Sun, 24 May 2009 15:02:23 +0200] rev 31251
tuned whitespace
src/Pure/tactic.ML

2009-05-24 haftmann [Sun, 24 May 2009 15:02:23 +0200] rev 31250
funpow_yield; tuned
src/Pure/library.ML

2009-05-24 haftmann [Sun, 24 May 2009 15:02:22 +0200] rev 31249
tuned class user space type system code
src/Pure/Isar/class_target.ML src/Pure/axclass.ML

2009-05-24 haftmann [Sun, 24 May 2009 15:02:22 +0200] rev 31248
dropped Id
src/HOL/ex/Records.thy

2009-05-24 haftmann [Sun, 24 May 2009 15:02:22 +0200] rev 31247
refined construction_interpretation
src/HOL/Tools/datatype_package.ML src/HOL/ex/Quickcheck_Generators.thy

2009-05-24 haftmann [Sun, 24 May 2009 15:02:21 +0200] rev 31246
exported find_shorzes_path
src/HOL/Tools/datatype_codegen.ML

2009-05-24 haftmann [Sun, 24 May 2009 15:02:21 +0200] rev 31245
merged
src/HOL/Quickcheck.thy