src/Doc/Demo_FoilTeX/Document.thy
changeset 78659 b5f3d1051b13
parent 76399 d0a1f3eb0982