doc-src/IsarRef/Thy/Quick_Reference.thy
changeset 48460 20170ae271a5
parent 42667 3a365e95c84a