doc-src/IsarRef/Thy/Quick_Reference.thy
changeset 47634 091bcd569441
parent 42667 3a365e95c84a
equal deleted inserted replaced
47627:2b1d3eda59eb 47634:091bcd569441