| changeset 61977 | f55f28132128 |
| parent 58878 | f962e42e324d |
--- a/src/HOL/NSA/document/root.tex Wed Dec 30 14:05:51 2015 +0100 +++ b/src/HOL/NSA/document/root.tex Wed Dec 30 14:55:26 2015 +0100 @@ -1,5 +1,6 @@ \documentclass[11pt,a4paper]{article} \usepackage{graphicx,isabelle,isabellesym,latexsym,textcomp} +\usepackage{amsmath} \usepackage{pdfsetup} \urlstyle{rm}