src/ZF/Trancl.thy
changeset 4932 c90411dde8e8
parent 2469 b50b8c0eec01
child 13220 62c899c77151
equal deleted inserted replaced
4931:2ec84dee7911 4932:c90411dde8e8