2007-11-06 haftmann [Tue, 06 Nov 2007 09:46:05 +0100] rev 25305
added autoquickcheck
ANNOUNCE

2007-11-06 haftmann [Tue, 06 Nov 2007 08:47:30 +0100] rev 25304
removed subclass edge ordered_ring < lordered_ring
src/HOL/Hyperreal/StarClasses.thy src/HOL/MetisExamples/BigO.thy src/HOL/Ring_and_Field.thy

2007-11-06 haftmann [Tue, 06 Nov 2007 08:47:25 +0100] rev 25303
renamed lordered_*_* to lordered_*_add_*; further localization
src/HOL/Finite_Set.thy src/HOL/Matrix/Matrix.thy src/HOL/Matrix/SparseMatrix.thy src/HOL/OrderedGroup.thy src/HOL/Real/RealDef.thy

2007-11-05 wenzelm [Mon, 05 Nov 2007 23:17:03 +0100] rev 25302
tuned satisfy_thm;
src/Pure/Isar/element.ML

2007-11-05 wenzelm [Mon, 05 Nov 2007 23:17:02 +0100] rev 25301
removed unused compose_hhf, comp_hhf;
src/Pure/goal.ML

2007-11-05 obua [Mon, 05 Nov 2007 22:53:38 +0100] rev 25300
corrected fucked up integer tuning
src/HOL/Real/float_arith.ML

2007-11-05 kleing [Mon, 05 Nov 2007 22:51:16 +0100] rev 25299
misc lemmas about prefix, postfix, and parallel
src/HOL/Library/List_Prefix.thy

2007-11-05 kleing [Mon, 05 Nov 2007 22:50:48 +0100] rev 25298
add root.bib for Word document
src/HOL/IsaMakefile

2007-11-05 kleing [Mon, 05 Nov 2007 22:50:00 +0100] rev 25297
move itself into HOL types
src/HOL/HOL.thy

2007-11-05 kleing [Mon, 05 Nov 2007 22:49:28 +0100] rev 25296
rev_nth
src/HOL/List.thy