changeset 28290 | 4cc2b6046258 |
parent 26957 | e3f04fdd994d |
child 30161 | c26e515f1c29 |
--- a/src/Tools/Compute_Oracle/Compute_Oracle.thy Thu Sep 18 14:06:58 2008 +0200 +++ b/src/Tools/Compute_Oracle/Compute_Oracle.thy Thu Sep 18 19:39:44 2008 +0200 @@ -9,6 +9,4 @@ 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 *} - end \ No newline at end of file