2008-01-25 wenzelm [Fri, 25 Jan 2008 23:05:23 +0100] rev 25972
tuned document;
src/HOL/Lambda/Commutation.thy src/HOL/Lambda/InductTermi.thy src/HOL/Lambda/ParRed.thy

2008-01-25 wenzelm [Fri, 25 Jan 2008 22:04:46 +0100] rev 25971
tuned;
NEWS

2008-01-25 wenzelm [Fri, 25 Jan 2008 22:03:29 +0100] rev 25970
* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;
NEWS etc/settings

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:49 +0100] rev 25969
tuned
src/Tools/code/code_package.ML src/Tools/code/code_target.ML src/Tools/code/code_thingol.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:48 +0100] rev 25968
print postprocessor equations
src/Pure/Isar/code.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:46 +0100] rev 25967
fixed and tuned
src/HOL/Library/Code_Index.thy src/HOL/Library/Efficient_Nat.thy src/HOL/Tools/numeral.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:44 +0100] rev 25966
dropped superfluous code theorems
src/HOL/HOL.thy src/HOL/Library/AssocList.thy src/HOL/List.thy

2008-01-25 haftmann [Fri, 25 Jan 2008 14:54:41 +0100] rev 25965
improved code theorem setup
src/HOL/Library/Code_Char.thy src/HOL/Map.thy src/HOL/NatBin.thy src/HOL/Real/Rational.thy src/HOL/Real/RealDef.thy src/HOL/Set.thy

2008-01-25 haftmann [Fri, 25 Jan 2008 14:53:58 +0100] rev 25964
consistent interacitve bootstrap of HOL-Main
src/HOL/Main.thy src/HOL/ROOT.ML

2008-01-25 haftmann [Fri, 25 Jan 2008 14:53:56 +0100] rev 25963
distinguished examples for Efficient_Nat.thy
src/HOL/IsaMakefile src/HOL/ex/Codegenerator_Pretty.thy src/HOL/ex/Efficient_Nat_examples.thy src/HOL/ex/ExecutableContent.thy src/HOL/ex/ROOT.ML