#!/bin/csh

foreach N ( 3 4 5 6 7 8 9 10 )
	echo "Generating for N=$N"
	prismpp .rabinN.nm.pp $N >! rabin$N.nm
	unix2dos rabin$N.nm
end
