src/ZF/Let.thy
changeset 4932 c90411dde8e8
parent 4879 58656c6a3551
child 13220 62c899c77151
equal deleted inserted replaced
4931:2ec84dee7911 4932:c90411dde8e8