TESTS = \
	metalevel \
	modules \
	srewrite \
	parameterization

MAUDE_FILES = \
	metalevel.maude \
	modules.maude \
	srewrite.maude \
	parameterization.maude


RESULT_FILES = \
	metalevel.expected \
	modules.expected \
	srewrite.expected \
	parameterization.expected

EXTRA_DIST = $(TESTS) $(MAUDE_FILES) $(RESULT_FILES)
