src/Pure/Concurrent/timeout.ML
2016-04-02 ago prefer infix operations;
2016-03-05 ago tuned signature -- clarified modules;