doc-src/IsarRef/Thy/syntax.thy
changeset 26839 1d963bfd4a1b
parent 26787 4b96f1364138
child 26957 e3f04fdd994d