Index of /~lawford/papers/FI05/uppaal

	Name	Last modified	Size	Description
	Parent Directory		-
	prog2.xml	20-Dec-2005 11:32	38K
	prog.xml	20-Dec-2005 11:32	37K
	spec2.xml	20-Dec-2005 11:32	34K
	progr.xml	20-Dec-2005 11:32	29K
	spec.xml	20-Dec-2005 11:32	28K
	specr.xml	20-Dec-2005 11:32	27K
	ires.q	20-Dec-2005 11:32	179
	res.q	20-Dec-2005 11:32	176
	rec.q	20-Dec-2005 11:32	123