2006-09-20 krauss [Wed, 20 Sep 2006 09:08:35 +0200] rev 20636
Fixed error in pattern splitting algorithm
src/HOL/Tools/function_package/pattern_split.ML

2006-09-20 huffman [Wed, 20 Sep 2006 07:44:34 +0200] rev 20635
change section to subsection
src/HOL/Hyperreal/Lim.thy src/HOL/Real/ContNotDenum.thy

2006-09-20 huffman [Wed, 20 Sep 2006 07:42:12 +0200] rev 20634
add header
src/HOL/Real/Ferrante_Rackoff.thy src/HOL/Real/RealPow.thy

2006-09-20 wenzelm [Wed, 20 Sep 2006 00:24:24 +0200] rev 20633
renamed axclass_xxxx axclasses;
src/HOL/Hyperreal/NSA.thy src/HOL/Hyperreal/StarClasses.thy src/HOL/Matrix/Matrix.thy src/HOL/Ring_and_Field.thy

2006-09-19 wenzelm [Tue, 19 Sep 2006 23:18:41 +0200] rev 20632
tuned;
Admin/isatest-stats

2006-09-19 wenzelm [Tue, 19 Sep 2006 23:15:40 +0200] rev 20631
added standard;
src/Pure/Isar/proof_context.ML

2006-09-19 wenzelm [Tue, 19 Sep 2006 23:15:39 +0200] rev 20630
added name_classrel/arities/arity;
src/Pure/logic.ML

2006-09-19 wenzelm [Tue, 19 Sep 2006 23:15:38 +0200] rev 20629
pretty_full_theory: suppress internal entities by default;
src/Pure/display.ML

2006-09-19 wenzelm [Tue, 19 Sep 2006 23:15:37 +0200] rev 20628
Logic.name_classrel/arities;
src/Pure/Tools/class_package.ML src/Pure/axclass.ML

2006-09-19 wenzelm [Tue, 19 Sep 2006 23:15:36 +0200] rev 20627
revert to previous version;
src/Pure/Pure.thy