doc-src/IsarAdvanced/Codegen/Thy/examples/bool_literal.ML
changeset 29359 f831192b9366
parent 26318 967323f93c67