src/Tools/Code_Generator.thy
changeset 31775 2b04504fcb69
parent 31125 80218ee73167
child 33561 ab01b72715ef
equal deleted inserted replaced
31774:5c8cfaed32e6 31775:2b04504fcb69
     7 theory Code_Generator
     7 theory Code_Generator
     8 imports Pure
     8 imports Pure
     9 uses
     9 uses
    10   "~~/src/Tools/value.ML"
    10   "~~/src/Tools/value.ML"
    11   "~~/src/Tools/quickcheck.ML"
    11   "~~/src/Tools/quickcheck.ML"
    12   "~~/src/Tools/code/code_preproc.ML" 
    12   "~~/src/Tools/Code/code_preproc.ML" 
    13   "~~/src/Tools/code/code_thingol.ML"
    13   "~~/src/Tools/Code/code_thingol.ML"
    14   "~~/src/Tools/code/code_printer.ML"
    14   "~~/src/Tools/Code/code_printer.ML"
    15   "~~/src/Tools/code/code_target.ML"
    15   "~~/src/Tools/Code/code_target.ML"
    16   "~~/src/Tools/code/code_ml.ML"
    16   "~~/src/Tools/Code/code_ml.ML"
    17   "~~/src/Tools/code/code_haskell.ML"
    17   "~~/src/Tools/Code/code_haskell.ML"
    18   "~~/src/Tools/nbe.ML"
    18   "~~/src/Tools/nbe.ML"
    19 begin
    19 begin
    20 
    20 
    21 setup {*
    21 setup {*
    22   Code_Preproc.setup
    22   Code_Preproc.setup