src/Pure/Concurrent/synchronized_dummy.ML
2009-09-29 wenzelm 2009-09-29 explicit indication of Unsynchronized.ref;
2009-09-28 wenzelm 2009-09-28 Dummy version of state variables -- plain refs for sequential access.