# Automatically generated by ../updatedModels/
CHAPTER=synchronous
EXAMPLE_MODELS = \
	IfThenElseSR.xml \
	Counter.xml \
	GuardedCount.xml \
	MalikAcyclic.xml \
	MalikCyclic.xml \
	NonConstructive.xml \
	NonStrictAndInLoop.xml \
	TokenRing.xml 

include ../chapter.mk
