doc-src/IsarAdvanced/Codegen/Thy/examples/fac_case.ML
changeset 24618 6ab574864cd4
parent 24421 acfb2413faa3
child 25160 72fcf0832cfe