src/Pure/Concurrent/future.ML
Sun, 07 Sep 2008 22:19:42 +0200 Functional threads as future values.