doc-src/IsarRef/Thy/Outer_Syntax.thy
changeset 43661 39fdbd814c7f
parent 42705 528a2ba8fa74
child 46282 83864b045a72