doc-src/IsarImplementation/Thy/Isar.thy
changeset 46936 571ce2bc0b64
parent 46267 bc9479cada96