doc-src/IsarRef/Thy/document/Inner_Syntax.tex
changeset 28831 23f4928bb7e3
parent 28762 f5d79aeffd81
child 28857 87d638a4ee67