2007-05-14 huffman [Mon, 14 May 2007 18:03:25 +0200] rev 22968
tuned
src/HOL/Complex/Complex.thy src/HOL/Hyperreal/NthRoot.thy

2007-05-14 huffman [Mon, 14 May 2007 17:45:42 +0200] rev 22967
added general sum-squares lemmas
src/HOL/Real/RealPow.thy

2007-05-14 huffman [Mon, 14 May 2007 17:37:31 +0200] rev 22966
new lemmas
src/HOL/Hyperreal/Star.thy

2007-05-14 webertj [Mon, 14 May 2007 13:24:22 +0200] rev 22965
ProofGeneral: Find Theorems search form
NEWS

2007-05-14 haftmann [Mon, 14 May 2007 12:52:56 +0200] rev 22964
reorganized float arithmetic
src/HOL/IsaMakefile src/HOL/Matrix/cplex/FloatSparseMatrixBuilder.ML src/HOL/Matrix/cplex/fspmlp.ML src/HOL/Matrix/cplex/matrixlp.ML src/HOL/Real/Float.thy src/HOL/Real/float.ML src/HOL/Real/float_arith.ML src/Pure/General/float.ML src/Pure/General/int.ML

2007-05-14 haftmann [Mon, 14 May 2007 12:52:54 +0200] rev 22963
fixed IntInf ambiguity
src/HOL/Library/comm_ring.ML

2007-05-14 huffman [Mon, 14 May 2007 09:33:18 +0200] rev 22962
remove redundant lemmas
src/HOL/Real/RealDef.thy src/HOL/Real/RealPow.thy src/HOL/Real/real_arith.ML

2007-05-14 huffman [Mon, 14 May 2007 09:27:24 +0200] rev 22961
remove redundant lemmas
src/HOL/Hyperreal/NthRoot.thy

2007-05-14 huffman [Mon, 14 May 2007 09:16:47 +0200] rev 22960
remove redundant lemmas
src/HOL/Hyperreal/Transcendental.thy

2007-05-14 huffman [Mon, 14 May 2007 09:11:30 +0200] rev 22959
remove redundant lemmas
src/HOL/Hyperreal/Series.thy