doc-src/IsarAdvanced/Codegen/Thy/examples/class.ML
changeset 25571 c9e39eafc7a0
parent 25182 64e3f45dc6f4