doc-src/IsarRef/Thy/Inner_Syntax.thy
changeset 39473 33638f4883ac
parent 39279 878d86983dc1
child 40255 9ffbc25e1606