doc-src/IsarAdvanced/Codegen/Thy/Setup.thy
changeset 29383 223f18cfbb32
parent 29295 93b819a44146
child 29514 fc20414d4aa8