src/ZF/UNITY/FP.thy
changeset 69967 8a9d0d894ec0
parent 60770 240563fbf41d
child 76213 e44d86131648
equal deleted inserted replaced
69966:cba5b866c633 69967:8a9d0d894ec0