doc-src/IsarRef/Thy/Inner_Syntax.thy
changeset 30480 f3421e8379ab
parent 30397 b6212ae21656
child 32833 f3716d1a2e48