src/Tools/Compute_Oracle/am_interpreter.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-07-09 wenzelm 2009-07-09 renamed functor TableFun to Table, and GraphFun to Graph;
2009-02-28 wenzelm 2009-02-28 removed Ids;
2007-12-03 obua 2007-12-03 improvements
2007-10-27 obua 2007-10-27 better compute oracle
2007-09-20 obua 2007-09-20 improved computing
2007-09-15 haftmann 2007-09-15 fixed title
2007-07-09 obua 2007-07-09 new version of computing oracle
2007-05-31 wenzelm 2007-05-31 moved Compute_Oracle from Pure/Tools to Tools;