src/Doc/IsarRef/Generic.thy
changeset 56419 f47de9e82b0f
parent 55152 a56099a6447a