1.1 --- a/src/Tools/Code_Generator.thy	Tue Jun 23 12:09:14 2009 +0200
     1.2 +++ b/src/Tools/Code_Generator.thy	Tue Jun 23 12:09:30 2009 +0200
     1.3 @@ -9,12 +9,12 @@
     1.4  uses
     1.5    "~~/src/Tools/value.ML"
     1.6    "~~/src/Tools/quickcheck.ML"
     1.7 -  "~~/src/Tools/code/code_preproc.ML" 
     1.8 -  "~~/src/Tools/code/code_thingol.ML"
     1.9 -  "~~/src/Tools/code/code_printer.ML"
    1.10 -  "~~/src/Tools/code/code_target.ML"
    1.11 -  "~~/src/Tools/code/code_ml.ML"
    1.12 -  "~~/src/Tools/code/code_haskell.ML"
    1.13 +  "~~/src/Tools/Code/code_preproc.ML" 
    1.14 +  "~~/src/Tools/Code/code_thingol.ML"
    1.15 +  "~~/src/Tools/Code/code_printer.ML"
    1.16 +  "~~/src/Tools/Code/code_target.ML"
    1.17 +  "~~/src/Tools/Code/code_ml.ML"
    1.18 +  "~~/src/Tools/Code/code_haskell.ML"
    1.19    "~~/src/Tools/nbe.ML"
    1.20  begin
    1.21