2006-04-06 haftmann [Thu, 06 Apr 2006 16:10:46 +0200] rev 19346
cleanup in datatype package
src/HOL/Tools/datatype_codegen.ML src/HOL/Tools/datatype_package.ML src/HOL/Tools/datatype_rep_proofs.ML src/HOL/Tools/refute.ML

2006-04-06 haftmann [Thu, 06 Apr 2006 16:10:22 +0200] rev 19345
small type annotation fix
src/HOL/ex/Classpackage.thy

2006-04-06 haftmann [Thu, 06 Apr 2006 16:09:54 +0200] rev 19344
added hook for codegen_theorems.ML
src/HOL/Tools/recfun_codegen.ML

2006-04-06 haftmann [Thu, 06 Apr 2006 16:09:37 +0200] rev 19343
adaptions to change in typedef_package.ML
src/HOL/Tools/record_package.ML

2006-04-06 haftmann [Thu, 06 Apr 2006 16:09:20 +0200] rev 19342
added functions for definitional code generation
src/HOL/Tools/typedef_package.ML

2006-04-06 haftmann [Thu, 06 Apr 2006 16:08:25 +0200] rev 19341
added definitional code generator module: codegen_theorems.ML
src/Pure/IsaMakefile src/Pure/Tools/ROOT.ML src/Pure/Tools/codegen_package.ML src/Pure/Tools/codegen_serializer.ML src/Pure/Tools/codegen_theorems.ML src/Pure/Tools/codegen_thingol.ML src/Pure/Tools/nbe.ML src/Pure/Tools/nbe_codegen.ML src/Pure/codegen.ML

2006-04-06 haftmann [Thu, 06 Apr 2006 16:08:22 +0200] rev 19340
minor changes
src/Pure/Tools/class_package.ML

2006-04-06 haftmann [Thu, 06 Apr 2006 16:07:44 +0200] rev 19339
exported specification names
src/Pure/defs.ML

2006-04-05 haftmann [Wed, 05 Apr 2006 17:38:32 +0200] rev 19338
minor extensions
Admin/website/build/pypager.py Admin/website/css/isabelle_screen.css

2006-04-05 paulson [Wed, 05 Apr 2006 12:47:38 +0200] rev 19337
pool of constants; definition expansion; current best settings
src/HOL/Tools/ATP/reduce_axiomsN.ML