changeset 37872 | d83659570337 |
parent 37871 | c7ce7685e087 |
child 37873 | 66d90b2b87bc |
37871:c7ce7685e087 | 37872:d83659570337 |
---|---|
1 (* Title: Tools/Compute_Oracle/Compute_Oracle.thy |
|
2 Author: Steven Obua, TU Munich |
|
3 |
|
4 Steven Obua's evaluator. |
|
5 *) |
|
6 |
|
7 theory Compute_Oracle imports HOL |
|
8 uses "am.ML" "am_compiler.ML" "am_interpreter.ML" "am_ghc.ML" "am_sml.ML" "report.ML" "compute.ML" "linker.ML" |
|
9 begin |
|
10 |
|
11 end |