changeset 24584 | 01e83ffa6c54 |
parent 23663 | 84b5c89b8b49 |
child 24654 | 329f1b4d9d16 |
24583:d77e4d48e497 | 24584:01e83ffa6c54 |
---|---|
1 (* Title: Pure/Tools/am_interpreter.ML |
1 (* Title: Tools/Compute_Oracle/am_interpreter.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Steven Obua |
3 Author: Steven Obua |
4 *) |
4 *) |
5 |
5 |
6 structure AM_Interpreter : ABSTRACT_MACHINE = struct |
6 structure AM_Interpreter : ABSTRACT_MACHINE = struct |