doc-src/TutorialI/Sets/Relations.thy
changeset 12119 fab22bdb1496
parent 11330 8ee6ed16ea45
child 12489 c92e38c3cbaa