| changeset 69676 | 56acd449da41 |
| parent 69608 | 2b3a247889f8 |
| child 71060 | 295609359b58 |
--- a/src/HOL/Analysis/document/root.tex Wed Jan 16 18:14:02 2019 -0500 +++ b/src/HOL/Analysis/document/root.tex Wed Jan 16 19:34:48 2019 -0500 @@ -1,4 +1,4 @@ -\documentclass[11pt,a4paper]{article} +\documentclass[11pt,a4paper]{book} \usepackage{graphicx} \usepackage{isabelle} \usepackage{isabellesym}