| changeset 60078 | 019347f8dc88 |
| parent 58881 | b9556a055632 |
| child 61977 | f55f28132128 |
--- a/src/HOL/Library/document/root.tex Wed Apr 15 15:27:45 2015 +0200 +++ b/src/HOL/Library/document/root.tex Wed Apr 15 15:57:58 2015 +0200 @@ -2,7 +2,7 @@ \usepackage{ifthen} \usepackage[utf8]{inputenc} \usepackage[english]{babel} -\usepackage{isabelle,isabellesym,amssymb,stmaryrd,textcomp} +\usepackage{isabelle,isabellesym,amssymb,stmaryrd,textcomp,wasysym} \usepackage{pdfsetup} \urlstyle{rm}