doc-src/IsarAdvanced/Codegen/Thy/examples/set_list.ML
changeset 25231 1aa9c8f022d0
parent 24421 acfb2413faa3
child 25370 8b1aa4357320