doc-src/Codegen/Thy/Adaptation.thy
changeset 43448 90aec5043461
parent 40351 090dac52cfd7
child 46519 17dde5feea4b
equal deleted inserted replaced
43447:0ef3ec385b2b 43448:90aec5043461