doc-src/IsarRef/Thy/Outer_Syntax.thy
changeset 38937 1b1a2f5ccd7d
parent 35841 94f901e4969a
child 40290 47f572aff50a