isabelle: src/Tools/Code_Generator.thy@af73cf0dc31f

     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/cache_io.ML"

    11   "~~/src/Tools/auto_solve.ML"

    12   "~~/src/Tools/auto_counterexample.ML"

    13   "~~/src/Tools/quickcheck.ML"

    14   "~~/src/Tools/value.ML"

    15   "~~/src/Tools/Code/code_preproc.ML"

    16   "~~/src/Tools/Code/code_thingol.ML"

    17   "~~/src/Tools/Code/code_simp.ML"

    18   "~~/src/Tools/Code/code_printer.ML"

    19   "~~/src/Tools/Code/code_target.ML"

    20   "~~/src/Tools/Code/code_namespace.ML"

    21   "~~/src/Tools/Code/code_ml.ML"

    22   "~~/src/Tools/Code/code_haskell.ML"

    23   "~~/src/Tools/Code/code_scala.ML"

    24   "~~/src/Tools/Code/code_eval.ML"

    25   "~~/src/Tools/nbe.ML"

    26 begin

    28 setup {*

    29   Code_Preproc.setup

    30   #> Code_Simp.setup

    31   #> Code_ML.setup

    32   #> Code_Haskell.setup

    33   #> Code_Scala.setup

    34   #> Code_Eval.setup

    35   #> Nbe.setup

    36   #> Quickcheck.setup

    37 *}

    39 end

author	wenzelm
	Thu Sep 02 00:48:07 2010 +0200 (2010-09-02)
changeset 38980	af73cf0dc31f
parent 38970	53d1ee3d98b8
child 39323	ce5c6a8b0359
permissions	-rw-r--r--