doc-src/IsarRef/Thy/Generic.thy
changeset 47335 693276dcc512
parent 46706 877d57975427
child 47497 c78c6e1ec75d