src/ZF/Fixedpt.thy
changeset 72122 2dcb6523f6af
parent 69593 3dda49e08b9d
child 76213 e44d86131648
equal deleted inserted replaced
72121:42f931a68856 72122:2dcb6523f6af