doc-src/IsarRef/Thy/Outer_Syntax.thy
changeset 46631 2c5c003cee35
parent 46282 83864b045a72
child 47114 7c9e31ffcd9e