doc-src/IsarImplementation/Thy/Local_Theory.thy
changeset 42230 594480d25aaa
parent 41621 55b16bd82142