src/ZF/Coind/Static.thy
changeset 68743 91162dd89571
parent 46822 95f1e700b712
child 76213 e44d86131648