The file you tried to access is only available as part of the SPIN source tree.
Copyright (c) 1997 The University of Washington. All rights reserved.