doc-src/IsarRef/Thy/Generic.thy
changeset 37745 6315b6426200
parent 35613 9d3ff36ad4e1
child 40255 9ffbc25e1606