src/Pure/ML-Systems/time_limit.ML
2009-01-19 wenzelm 2009-01-19 removed Ids;
2007-09-24 wenzelm 2007-09-24 replaced interrupt_timeout by TimeLimit.timeLimit (available on SML/NJ and Poly/ML 5.1);