src/ZF/indrule.thy
changeset 3362 0b268cff9344
parent 1736 fe0b459273f2