1.1 --- a/src/Pure/Concurrent/future.ML	Wed Jul 21 21:08:40 2010 +0200
     1.2 +++ b/src/Pure/Concurrent/future.ML	Thu Jul 22 10:41:12 2010 +0200
     1.3 @@ -3,6 +3,7 @@
     1.4  
     1.5  Future values, see also
     1.6  http://www4.in.tum.de/~wenzelm/papers/parallel-isabelle.pdf
     1.7 +http://www4.in.tum.de/~wenzelm/papers/parallel-ml.pdf
     1.8  
     1.9  Notes:
    1.10