doc-src/IsarRef/Thy/Outer_Syntax.thy
changeset 45217 c4fab1099cd0
parent 42705 528a2ba8fa74
child 46282 83864b045a72