author | haftmann |
Fri, 24 Apr 2009 17:45:17 +0200 | |
changeset 30973 | 304ab57afa6e |
parent 30929 | d9343c0aac11 |
child 31036 | 64ff53fc0c0c |
permissions | -rw-r--r-- |
haftmann@30929 | 1 |
(* Title: Tools/Code_Generator.thy |
haftmann@30929 | 2 |
Author: Florian Haftmann, TU Muenchen |
haftmann@30929 | 3 |
*) |
haftmann@30929 | 4 |
|
haftmann@30929 | 5 |
header {* Loading the code generator modules *} |
haftmann@30929 | 6 |
|
haftmann@30929 | 7 |
theory Code_Generator |
haftmann@30929 | 8 |
imports Pure |
haftmann@30929 | 9 |
uses |
haftmann@30929 | 10 |
"~~/src/Tools/value.ML" |
haftmann@30973 | 11 |
"~~/src/Tools/quickcheck.ML" |
haftmann@30929 | 12 |
"~~/src/Tools/code/code_name.ML" |
haftmann@30929 | 13 |
"~~/src/Tools/code/code_wellsorted.ML" |
haftmann@30929 | 14 |
"~~/src/Tools/code/code_thingol.ML" |
haftmann@30929 | 15 |
"~~/src/Tools/code/code_printer.ML" |
haftmann@30929 | 16 |
"~~/src/Tools/code/code_target.ML" |
haftmann@30929 | 17 |
"~~/src/Tools/code/code_ml.ML" |
haftmann@30929 | 18 |
"~~/src/Tools/code/code_haskell.ML" |
haftmann@30929 | 19 |
"~~/src/Tools/nbe.ML" |
haftmann@30929 | 20 |
begin |
haftmann@30929 | 21 |
|
haftmann@30929 | 22 |
setup {* |
haftmann@30929 | 23 |
Code_ML.setup |
haftmann@30929 | 24 |
#> Code_Haskell.setup |
haftmann@30929 | 25 |
#> Nbe.setup |
haftmann@30929 | 26 |
*} |
haftmann@30929 | 27 |
|
haftmann@30929 | 28 |
end |