doc-src/IsarRef/Thy/Generic.thy
changeset 29408 6d10cf26b5dc
parent 28764 b65194fe4434
child 30168 9a20be5be90b