doc-src/IsarAdvanced/Codegen/Thy/examples/integers.ML
changeset 26345 f70620a4cf81
parent 22798 e3962371f568
equal deleted inserted replaced
26344:04dacc6809b6 26345:f70620a4cf81