doc-src/IsarRef/Thy/Generic.thy
changeset 38921 15f8cffdbf5d
parent 35613 9d3ff36ad4e1
child 40255 9ffbc25e1606