src/Pure/ML-Systems/unsynchronized.ML
2009-09-29 wenzelm 2009-09-29 Raw ML references as unsynchronized state variables.