clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
@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},
}