Attic/Myhill_1.thy
changeset 124 8233510cab6c
parent 84 f41351709800
equal deleted inserted replaced
123:23c0e6f2929d 124:8233510cab6c