file	spin/whatispin.html
for	SPIN's homepage, the generic entry point

file	spin/spin406.tar.gz
for	Software model checking for concurrent systems, with docs and sources
by	Gerard J. Holzmann, Bell Laboratories, Murray Hill, NJ
lang	C and Tcl/Tk

file	spin/pc_spin406.zip
for	Executable Windows95/98/NT/XP PC version of SPIN and Xspin, with testcases

file	spin/permission
for	Copyright and usage information

.