src/Pure/ML-Systems/thread_dummy.ML
2009-09-30 wenzelm 2009-09-30 more uniform treatment of structure Unsynchronized in ML bootstrap phase;
2009-09-28 wenzelm 2009-09-28 Dummy version of state variables -- plain refs for sequential access.
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-09-07 wenzelm 2008-09-07 Default (mostly dummy) implementation of thread structures. formerly in multithreading.ML; create mutexes / condition variables without failure;
2008-09-07 wenzelm 2008-09-07 *** empty log message ***