doc-src/IsarAdvanced/Codegen/Thy/examples/lexicographic.ML
changeset 26153 b037fd9016fa
parent 24421 acfb2413faa3
child 26513 6f306c8c2c54