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