src/Pure/Concurrent/synchronized_sequential.ML
Sat, 06 Feb 2010 22:05:02 +0100 wenzelm removed slightly adhoc single-assignment feature, cf. structure Single_Assignment;
Thu, 22 Oct 2009 15:19:44 +0200 wenzelm support single-assigment variables -- based on magic RTS operations by David Matthews;
less more (0) tip