Index of /Software/maude-solaris/examples

	Name	Last modified	Size	Description
	Parent Directory		-
	strategy.maude	2012-11-01 12:13	4.1K
	stack2.fm	2012-11-01 12:13	3.2K
	stack.fm	2012-11-01 12:13	2.1K
	sorting.maude	2012-11-01 12:13	469
	sorting-strategy.maude	2012-11-01 12:13	11K
	sieve.maude	2012-11-01 12:13	1.1K
	set-hierarchy.maude	2012-11-01 12:13	2.0K
	petri-net.maude	2012-11-01 12:13	604
	path.maude	2012-11-01 12:13	1.2K
	path.fm	2012-11-01 12:13	1.2K
	numbers.maude	2012-11-01 12:13	501
	number-hierarchy.maude	2012-11-01 12:13	2.5K
	nim-strategy.maude	2012-11-01 12:13	4.9K
	nd-int.maude	2012-11-01 12:13	598
	mini-maude.maude	2012-11-01 12:13	7.1K
	mini-maude.fm	2012-11-01 12:13	8.3K
	meta-meta-nat.fm	2012-11-01 12:13	1.9K
	meta-interpreter.maude	2012-11-01 12:13	5.8K
	max.fm	2012-11-01 12:13	2.1K
	interoperability.fm	2012-11-01 12:13	30K
	duplicate.maude	2012-11-01 12:13	288
	duplicate-ten.maude	2012-11-01 12:13	1.1K
	binary.maude	2012-11-01 12:13	5.4K
	accnt.fm	2012-11-01 12:13	11K