src/Pure/Concurrent/synchronized_sequential.ML
changeset 33063 4d462963a7db
parent 32816 5db89f8d44f3
child 33060 e66b41782cb5