src/Pure/Tools/am_util.ML
2005-07-14 wenzelm 2005-07-14 tuned;
2005-07-12 obua 2005-07-12 - introduce Pure/Tools directory - add compute oracle to Pure/Tools