2009-02-13 kleing [Fri, 13 Feb 2009 07:59:30 +1100] rev 29883
added find_consts to NEWS and CONTRIBUTORS
CONTRIBUTORS NEWS

2009-02-13 kleing [Fri, 13 Feb 2009 07:53:38 +1100] rev 29882
New command find_consts searching for constants by type (by Timothy Bourke).
etc/isar-keywords-ZF.el etc/isar-keywords.el lib/jedit/isabelle.xml src/Pure/IsaMakefile src/Pure/Isar/ROOT.ML src/Pure/Isar/find_theorems.ML src/Pure/Isar/isar_cmd.ML src/Pure/Isar/isar_syn.ML src/Pure/library.ML src/Pure/term.ML

2009-02-12 huffman [Thu, 12 Feb 2009 12:35:45 -0800] rev 29881
fix document generation
src/HOL/Library/Euclidean_Space.thy

2009-02-12 huffman [Thu, 12 Feb 2009 11:04:22 -0800] rev 29880
move countability proof from Rational to Countable; add instance rat :: countable
src/HOL/Library/Countable.thy src/HOL/Rational.thy

2009-02-12 nipkow [Thu, 12 Feb 2009 18:14:43 +0100] rev 29879
Moved FTA into Lib and cleaned it up a little.
src/HOL/Complex_Main.thy src/HOL/Finite_Set.thy src/HOL/Fundamental_Theorem_Algebra.thy src/HOL/IsaMakefile src/HOL/Library/Fundamental_Theorem_Algebra.thy src/HOL/Library/Library.thy src/HOL/Library/Univ_Poly.thy src/HOL/Nat.thy

2009-02-11 huffman [Wed, 11 Feb 2009 11:22:42 -0800] rev 29878
ordered_idom instance for polynomials
src/HOL/Polynomial.thy

2009-02-11 krauss [Wed, 11 Feb 2009 19:31:20 +0100] rev 29877
Export tactic interface for sizechange method
src/HOL/Tools/function_package/scnp_reconstruct.ML

2009-02-11 haftmann [Wed, 11 Feb 2009 15:05:40 +0100] rev 29876
merged

2009-02-11 haftmann [Wed, 11 Feb 2009 15:05:26 +0100] rev 29875
liberal inst_meet
src/HOL/Tools/typecopy_package.ML

2009-02-11 haftmann [Wed, 11 Feb 2009 15:05:25 +0100] rev 29874
display code theorems with HOL equality
doc-src/more_antiquote.ML