2006-12-27 haftmann [Wed, 27 Dec 2006 19:10:04 +0100] rev 21913
fixed misleading error message
src/Pure/axclass.ML

2006-12-27 haftmann [Wed, 27 Dec 2006 19:10:03 +0100] rev 21912
dropped section header
src/HOL/ex/CodeEmbed.thy src/HOL/ex/CodeRandom.thy

2006-12-27 haftmann [Wed, 27 Dec 2006 19:10:00 +0100] rev 21911
added OCaml code generation (without dictionaries)
src/HOL/Divides.thy src/HOL/Integ/IntArith.thy src/HOL/Integ/IntDef.thy src/HOL/Library/Char_ord.thy src/HOL/Library/EfficientNat.thy src/HOL/Library/ExecutableRat.thy src/HOL/Library/ExecutableSet.thy src/HOL/List.thy src/HOL/ex/Classpackage.thy src/HOL/ex/Codegenerator.thy src/HOL/ex/ROOT.ML src/Pure/Tools/codegen_serializer.ML src/Pure/Tools/codegen_thingol.ML

2006-12-27 haftmann [Wed, 27 Dec 2006 19:09:59 +0100] rev 21910
removed Haskell reserved words
src/HOL/Library/MLString.thy

2006-12-27 haftmann [Wed, 27 Dec 2006 19:09:58 +0100] rev 21909
removed Main.thy
src/HOL/Integ/reflected_cooper.ML src/HOL/ROOT.ML src/HOL/Tools/Presburger/reflected_cooper.ML

2006-12-27 haftmann [Wed, 27 Dec 2006 19:09:57 +0100] rev 21908
moved code generator product setup here
src/HOL/Product_Type.thy

2006-12-27 haftmann [Wed, 27 Dec 2006 19:09:56 +0100] rev 21907
added code generator test theory
src/HOL/IsaMakefile

2006-12-27 haftmann [Wed, 27 Dec 2006 19:09:55 +0100] rev 21906
explizit serialization for Haskell id
src/HOL/Fun.thy

2006-12-27 haftmann [Wed, 27 Dec 2006 19:09:54 +0100] rev 21905
removed code generation stuff belonging to other theories
src/HOL/Datatype.thy

2006-12-27 haftmann [Wed, 27 Dec 2006 19:09:53 +0100] rev 21904
moved code generator bool setup here
src/HOL/Code_Generator.thy