| changeset 64318 | 1e92b5c35615 |
| parent 62706 | 49c6a54ceab6 |
| child 67966 | f13796496e82 |
--- a/src/HOL/Data_Structures/document/root.tex Thu Oct 20 13:53:36 2016 +0200 +++ b/src/HOL/Data_Structures/document/root.tex Thu Oct 20 17:28:09 2016 +0200 @@ -1,6 +1,8 @@ \documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym} \usepackage{latexsym} +\usepackage{amssymb} +\usepackage{amsmath} % this should be the last package used \usepackage{pdfsetup}