src/ZF/OrdQuant.thy
changeset 60095 35f626b11422
parent 59647 c6f413b660cf
child 60770 240563fbf41d
equal deleted inserted replaced
60094:96a4765ba7d1 60095:35f626b11422