*** ML ***
* Structure TimeLimit (originally from the SML/NJ library) has been
replaced by structure Timeout, with slightly different signature.
INCOMPATIBILITY.
This refers to Isabelle/a564458f94db.
Note that the exception Timeout.TIMEOUT is now more informative: it
contains the actual time span.
Makarius