doc-src/IsarImplementation/Thy/Local_Theory.thy
changeset 46631 2c5c003cee35
parent 41621 55b16bd82142
equal deleted inserted replaced
46630:3abc964cdc45 46631:2c5c003cee35