DATE	FILE(S)			DESCRIPTION
==============================================================================
31oct95	rolodex.rsl		Expaned to include all of the individual
				examples ref'd in the primer.

	match.rsl		Fixed some typos, discovered while integrating
	input-value-chking.rsl	into rolodex.rsl.

	rolodex-and-card.rsl	Created to be used when checking small example
				files that contain only operation definitions.


29sep94	aux-funcs.rsl		Fixed signature of CardsFound to take Name
				instead of Card.

	match.rsl		Fixed logic of Find postcond by moving call of
				Match to instead CardsFounds.  E.g.,
				OLD:
					CardsFound(...) and
					SortedById(...) and
					Match(...)

				NEW:
					CardsFound(...) and
					SortedById(...)
					  (* Call Match inside CardsFound *)