src/ZF/Main_ZF.thy
changeset 37380 35815ce9218a
parent 36543 0e7fc5bf38de
child 45625 750c5a47400b