doc-src/TutorialI/Sets/Relations.thy
changeset 37387 3581483cca6c
parent 36745 403585a89772
child 42637 381fdcab0f36
equal deleted inserted replaced
37385:f076ca61dc00 37387:3581483cca6c