src/Pure/ML-Systems/unsynchronized.ML
Tue, 29 Sep 2009 11:48:32 +0200 wenzelm Raw ML references as unsynchronized state variables.
less more (0) tip