doc-src/IsarImplementation/Thy/Isar.thy
changeset 46631 2c5c003cee35
parent 46267 bc9479cada96
equal deleted inserted replaced
46630:3abc964cdc45 46631:2c5c003cee35