doc-src/IsarAdvanced/Codegen/Thy/examples/bool_mlbool.ML
changeset 23383 5460951833fa
parent 22386 4ebe883b02ff
child 23850 f1434532a562