src/Pure/ML-Systems/thread_dummy.ML
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 ***