doc-src/IsarAdvanced/Codegen/Thy/examples/pick2.ML
changeset 27067 f8a7aff41acb
parent 26318 967323f93c67
equal deleted inserted replaced
27066:dbf97292e5fd 27067:f8a7aff41acb