src/Pure/Concurrent/synchronized_sequential.ML
Thu, 22 Oct 2009 15:19:44 +0200 wenzelm support single-assigment variables -- based on magic RTS operations by David Matthews;
Thu, 01 Oct 2009 18:21:11 +0200 wenzelm more official status of sequential implementations;
less more (0) tip