2009-05-06 haftmann [Wed, 06 May 2009 19:09:31 +0200] rev 31055
proper structures for list and string code generation stuff
src/HOL/IsaMakefile src/HOL/List.thy src/HOL/String.thy src/HOL/Tools/list_code.ML src/HOL/Tools/string_code.ML

2009-05-06 haftmann [Wed, 06 May 2009 19:09:14 +0200] rev 31054
explicit type arguments in constants
src/Tools/code/code_haskell.ML src/Tools/code/code_ml.ML src/Tools/code/code_thingol.ML

2009-05-06 haftmann [Wed, 06 May 2009 19:09:14 +0200] rev 31053
confine term setup to Eval serialiser
src/HOL/Library/Code_Char.thy

2009-05-06 haftmann [Wed, 06 May 2009 16:10:12 +0200] rev 31052
adaptation replaces adaption
doc-src/Codegen/Thy/pictures/adaptation.tex

2009-05-06 haftmann [Wed, 06 May 2009 16:01:23 +0200] rev 31051
refined HOL string theories and corresponding ML fragments
src/HOL/String.thy

2009-05-06 haftmann [Wed, 06 May 2009 16:01:07 +0200] rev 31050
adaptation replaces adaption
doc-src/Codegen/Makefile doc-src/Codegen/Thy/Adaptation.thy doc-src/Codegen/Thy/Adaption.thy doc-src/Codegen/Thy/Further.thy doc-src/Codegen/Thy/Introduction.thy doc-src/Codegen/Thy/ROOT.ML doc-src/Codegen/Thy/document/Adaptation.tex doc-src/Codegen/Thy/document/Adaption.tex doc-src/Codegen/Thy/document/Further.tex doc-src/Codegen/Thy/document/Introduction.tex doc-src/Codegen/Thy/pictures/adaption.tex doc-src/Codegen/codegen.tex

2009-05-06 haftmann [Wed, 06 May 2009 16:01:06 +0200] rev 31049
explicit type arguments in constants
src/Tools/code/code_haskell.ML src/Tools/code/code_ml.ML src/Tools/code/code_thingol.ML src/Tools/nbe.ML

2009-05-06 haftmann [Wed, 06 May 2009 16:01:06 +0200] rev 31048
refined HOL string theories and corresponding ML fragments
src/HOL/Code_Eval.thy src/HOL/Code_Message.thy src/HOL/IsaMakefile src/HOL/List.thy src/HOL/Tools/hologic.ML src/HOL/Tools/string_syntax.ML src/HOL/Typerep.thy

2009-05-06 haftmann [Wed, 06 May 2009 16:01:05 +0200] rev 31047
tuned description of overloading
doc-src/IsarRef/Thy/Spec.thy doc-src/IsarRef/Thy/document/Spec.tex

2009-05-06 haftmann [Wed, 06 May 2009 16:01:05 +0200] rev 31046
confine term setup to Eval serialiser
src/HOL/Library/Code_Char.thy