equal
deleted
inserted
replaced
4 |
4 |
5 Steven Obua's evaluator. |
5 Steven Obua's evaluator. |
6 *) |
6 *) |
7 |
7 |
8 theory Compute_Oracle imports CPure |
8 theory Compute_Oracle imports CPure |
9 uses "am.ML" "am_compiler.ML" "am_interpreter.ML" "am_ghc.ML" "am_sml.ML" "compute.ML" "linker.ML" |
9 uses "am.ML" "am_compiler.ML" "am_interpreter.ML" "am_ghc.ML" "am_sml.ML" "report.ML" "compute.ML" "linker.ML" |
10 begin |
10 begin |
11 |
11 |
12 setup {* Compute.setup; *} |
12 setup {* Compute.setup_compute; *} |
13 |
13 |
14 end |
14 end |