TESTS = \
	nat \
	int \
	rat \
	string \
	counters \
	stringOps

MAUDE_FILES = \
	nat.maude \
	int.maude \
	rat.maude \
	string.maude \
	counters.maude \
	stringOps.maude

RESULT_FILES = \
	nat.expected \
	int.expected \
	rat.expected \
	string.expected \
	counters.expected \
	stringOps.expected

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