doc-src/IsarImplementation/Thy/Isar.thy
changeset 47335 693276dcc512
parent 46267 bc9479cada96
equal deleted inserted replaced
47334:4708384e759d 47335:693276dcc512