doc-src/Codegen/Thy/Adaptation.thy
changeset 42915 f35aae36cad0
parent 40351 090dac52cfd7
child 46519 17dde5feea4b