doc-src/IsarRef/Thy/Inner_Syntax.thy
changeset 33314 53d49370f7af
parent 32833 f3716d1a2e48
child 35351 7425aece4ee3