author | chaieb |
Wed, 31 Oct 2007 12:19:41 +0100 | |
changeset 25252 | 833abbc3e733 |
parent 25217 | 3224db6415ae |
child 26957 | e3f04fdd994d |
permissions | -rw-r--r-- |
(* Title: Tools/Compute_Oracle/Compute_Oracle.thy ID: $Id$ Author: Steven Obua, TU Munich Steven Obua's evaluator. *) theory Compute_Oracle imports CPure 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