doc-src/IsarRef/Thy/Generic.thy
changeset 38937 1b1a2f5ccd7d
parent 35613 9d3ff36ad4e1
child 40255 9ffbc25e1606