doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML
changeset 30241 3a1aef73b2b2
parent 25182 64e3f45dc6f4