src/Pure/Tools/am_interpreter.ML
2005-07-14 wenzelm 2005-07-14 tuned;
2005-07-12 obua 2005-07-12 - use TableFun instead of homebrew binary tree in am_interpreter.ML - add Floats to HOL/Real
2005-07-12 obua 2005-07-12 - introduce Pure/Tools directory - add compute oracle to Pure/Tools