doc-src/IsarRef/Thy/Quick_Reference.thy
changeset 46631 2c5c003cee35
parent 42667 3a365e95c84a