equal
deleted
inserted
replaced
1 (* Title: Tools/Compute_Oracle/am_ghc.ML |
1 (* Title: HOL/Matrix/Compute_Oracle/am_ghc.ML |
2 Author: Steven Obua |
2 Author: Steven Obua |
3 *) |
3 *) |
4 |
4 |
5 structure AM_GHC : ABSTRACT_MACHINE = |
5 structure AM_GHC : ABSTRACT_MACHINE = |
6 struct |
6 struct |