more official task context via Task_Queue.enroll, which is required to participate in group cancellation (e.g. to terminate command exec);
tuned signature;
@InProceedings{dawson-avocs07,
author = {Jeremy Dawson},
title = {Isabelle Theories for Machine Words},
booktitle = {Seventh International Workshop on Automated Verification of Critical Systems (AVOCS'07)},
pages = {15},
year = {2007},
editor = {Michael Goldsmith and Bill Roscoe},
series = {Electronic Notes in Theoretical Computer Science},
address = {Oxford},
month = Sep,
publisher = {Elsevier},
note = {to appear},
}