The 12 files in this bundle are the PROMELA
files of all exercises and examples discussed
in the document Doc/Exercises.ps from the
SPIN distribution.