src/Pure/ML-Systems/unsynchronized.ML
2010-09-22 ago renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-08-27 ago structure Unsynchronized is never opened and set/reset/toggle have been discontinued;
2009-09-29 ago Raw ML references as unsynchronized state variables.