| Wed, 06 Sep 2023 20:51:28 +0200 | wenzelm | clarified signature: retain original Poly/ML names Thread.Thread, Thread.Mutex, Thread.ConditionVar and de-emphasize them for Isabelle/ML; | file | diff | annotate |
| Mon, 22 Dec 2014 19:47:58 +0100 | wenzelm | more elementary Multithreading.synchronized; | file | diff | annotate |
| Thu, 16 Sep 2010 07:54:18 +0200 | blanchet | put Isabelle-specifics in a "PortableIsabelle" file maintained by us; | file | diff | annotate |