doc-src/IsarRef/Thy/Generic.thy
changeset 39022 ac7774a35bcf
parent 35613 9d3ff36ad4e1
child 40255 9ffbc25e1606