changeset 26957 | e3f04fdd994d |
parent 25217 | 3224db6415ae |
child 28290 | 4cc2b6046258 |
--- a/src/Tools/Compute_Oracle/Compute_Oracle.thy Sun May 18 17:03:16 2008 +0200 +++ b/src/Tools/Compute_Oracle/Compute_Oracle.thy Sun May 18 17:03:20 2008 +0200 @@ -5,10 +5,10 @@ Steven Obua's evaluator. *) -theory Compute_Oracle imports CPure +theory Compute_Oracle imports Pure uses "am.ML" "am_compiler.ML" "am_interpreter.ML" "am_ghc.ML" "am_sml.ML" "report.ML" "compute.ML" "linker.ML" begin -setup {* Compute.setup_compute; *} +setup {* Compute.setup_compute *} end \ No newline at end of file