src/Pure/ML-Systems/thread_dummy.ML
2010-09-22 ago renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2009-09-30 ago more uniform treatment of structure Unsynchronized in ML bootstrap phase;
2009-09-28 ago Dummy version of state variables -- plain refs for sequential access.
2009-01-19 ago removed Ids;
2008-09-07 ago Default (mostly dummy) implementation of thread structures.
2008-09-07 ago *** empty log message ***