| changeset 37921 | 1e846be00ddf |
| parent 37920 | 581c1e5f53e0 |
| parent 37901 | ea7d4423cb5b |
| child 37922 | ff56c361d75b |
| child 37929 | 22e0797857e6 |
| 37920:581c1e5f53e0 | 37921:1e846be00ddf |
|---|---|
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 Pure |
|
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 |