src/ZF/ex/Contract0.thy
changeset 532 851df239ac8b
parent 16 0b033d50ca1c