diff -r 983dfcce45ad -r d9343c0aac11 src/Tools/Code_Generator.thy --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Tools/Code_Generator.thy Wed Apr 15 15:52:37 2009 +0200 @@ -0,0 +1,27 @@ +(* Title: Tools/Code_Generator.thy + Author: Florian Haftmann, TU Muenchen +*) + +header {* Loading the code generator modules *} + +theory Code_Generator +imports Pure +uses + "~~/src/Tools/value.ML" + "~~/src/Tools/code/code_name.ML" + "~~/src/Tools/code/code_wellsorted.ML" + "~~/src/Tools/code/code_thingol.ML" + "~~/src/Tools/code/code_printer.ML" + "~~/src/Tools/code/code_target.ML" + "~~/src/Tools/code/code_ml.ML" + "~~/src/Tools/code/code_haskell.ML" + "~~/src/Tools/nbe.ML" +begin + +setup {* + Code_ML.setup + #> Code_Haskell.setup + #> Nbe.setup +*} + +end \ No newline at end of file