doc-src/IsarRef/Thy/Outer_Syntax.thy
changeset 39473 33638f4883ac
parent 35841 94f901e4969a
child 40290 47f572aff50a