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