changeset 56685 | 535d59d4ed12 |
parent 52537 | 4b5941730bd8 |
child 56692 | 8219a65b24e3 |
--- a/src/Pure/Concurrent/synchronized.ML Wed Apr 23 17:57:56 2014 +0200 +++ b/src/Pure/Concurrent/synchronized.ML Thu Apr 24 00:27:06 2014 +0200 @@ -1,7 +1,7 @@ (* Title: Pure/Concurrent/synchronized.ML Author: Fabian Immler and Makarius -State variables with synchronized access. +Synchronized variables. *) signature SYNCHRONIZED =