src/ZF/UNITY/FP.thy
changeset 47572 1e18bbfb40cb
parent 46823 57bf0cecb366
child 58871 c399ae4b836f
equal deleted inserted replaced
47571:1d9faa9f65f9 47572:1e18bbfb40cb