2009-04-28 haftmann [Tue, 28 Apr 2009 13:34:45 +0200] rev 31009
dropped reference to class recpower and lemma duplicate
src/HOL/Divides.thy

2009-04-27 huffman [Mon, 27 Apr 2009 19:44:30 -0700] rev 31008
add proper support for bottom-patterns in fixrec package
src/HOLCF/Fixrec.thy src/HOLCF/ex/Fixrec_ex.thy

2009-04-27 huffman [Mon, 27 Apr 2009 07:26:17 -0700] rev 31007
merged
contrib/SystemOnTPTP/remote src/HOL/Code_Setup.thy src/HOL/NatBin.thy src/Tools/auto_solve.ML src/Tools/code/code_funcgr.ML

2009-04-22 huffman [Wed, 22 Apr 2009 11:00:25 -0700] rev 31006
add module signature to domain_library.ML
src/HOLCF/Tools/domain/domain_library.ML

2009-04-22 huffman [Wed, 22 Apr 2009 07:20:13 -0700] rev 31005
add module signature for domain_theorems.ML
src/HOLCF/Tools/domain/domain_theorems.ML

2009-04-22 huffman [Wed, 22 Apr 2009 07:12:21 -0700] rev 31004
declare take_rews as simp rules
src/HOLCF/Tools/domain/domain_theorems.ML

2009-04-27 haftmann [Mon, 27 Apr 2009 11:27:19 +0200] rev 31003
explicit is better than implicit
src/HOL/Word/WordBitwise.thy

2009-04-27 haftmann [Mon, 27 Apr 2009 10:11:46 +0200] rev 31002
whitespace tuning
src/HOL/Nat_Numeral.thy

2009-04-27 haftmann [Mon, 27 Apr 2009 10:11:44 +0200] rev 31001
cleaned up theory power further
NEWS src/HOL/Algebra/abstract/Ring2.thy src/HOL/Algebra/poly/UnivPoly2.thy src/HOL/Int.thy src/HOL/NSA/HyperDef.thy src/HOL/Power.thy

2009-04-27 haftmann [Mon, 27 Apr 2009 08:22:37 +0200] rev 31000
merged