doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy
changeset 25514 4b508bb31a6c
parent 25411 ac31c92e4bf5
child 25533 0140cc7b26ad