src/ZF/Fixedpt.thy
changeset 73650 9ce115baaa4f
parent 69593 3dda49e08b9d
child 76213 e44d86131648
equal deleted inserted replaced
73649:029de1598940 73650:9ce115baaa4f