doc-src/IsarRef/Thy/Outer_Syntax.thy
changeset 37892 3d8857f42a64
parent 35841 94f901e4969a
child 40290 47f572aff50a