2007-06-10 nipkow [Sun, 10 Jun 2007 10:23:42 +0200] rev 23300
*** empty log message ***
NEWS

2007-06-09 huffman [Sat, 09 Jun 2007 02:38:51 +0200] rev 23299
remove dependencies of proofs on constant int::nat=>int, preparing to remove it
src/HOL/IntDef.thy

2007-06-09 wenzelm [Sat, 09 Jun 2007 00:28:47 +0200] rev 23298
eqtype int -- explicitly encourage overloaded equality;
tuned -%;
removed obsolete Intt;
src/Tools/integer.ML

2007-06-09 wenzelm [Sat, 09 Jun 2007 00:28:46 +0200] rev 23297
simplified type integer;
src/HOL/Matrix/cplex/fspmlp.ML src/HOL/Real/float_arith.ML src/HOL/hologic.ML src/Provers/Arith/fast_lin_arith.ML src/Tools/float.ML src/Tools/rat.ML

2007-06-08 berghofe [Fri, 08 Jun 2007 18:13:58 +0200] rev 23296
Adapted Proofterm.bicompose_proof to Larry's changes in
Logic.assum_pairs from 2005-01-24 (revision 1.44).
src/Pure/proofterm.ML src/Pure/thm.ML

2007-06-08 chaieb [Fri, 08 Jun 2007 18:09:37 +0200] rev 23295
Method "algebra" solves polynomial equations over (semi)rings
NEWS

2007-06-08 huffman [Fri, 08 Jun 2007 03:24:27 +0200] rev 23294
generalize zpower_number_of_{even,odd} lemmas
src/HOL/NatBin.thy

2007-06-07 obua [Thu, 07 Jun 2007 17:21:43 +0200] rev 23293
deleted comments
src/HOL/Real/RealPow.thy

2007-06-07 obua [Thu, 07 Jun 2007 14:26:05 +0200] rev 23292
deleted legacy lemmas
src/HOL/Real/RealPow.thy

2007-06-07 nipkow [Thu, 07 Jun 2007 11:25:27 +0200] rev 23291
somebody elses problem fixed
src/HOL/Real/RealPow.thy