src/HOL/Real/HahnBanach/document/root.tex
changeset 7984 86c0cc789f61
parent 7978 1b99ee57d131
child 8585 8a3ae21e4a5b
     1.1 --- a/src/HOL/Real/HahnBanach/document/root.tex	Sat Oct 30 20:21:46 1999 +0200
     1.2 +++ b/src/HOL/Real/HahnBanach/document/root.tex	Sat Oct 30 20:32:04 1999 +0200
     1.3 @@ -3,8 +3,8 @@
     1.4  
     1.5  \usepackage{comment}
     1.6  \usepackage{latexsym,theorem}
     1.7 -\usepackage{isabelle,pdfsetup} %last one!
     1.8 -\usepackage{bbb}
     1.9 +\usepackage{isabelle,isabellesym,bbb}
    1.10 +\usepackage{pdfsetup} %last one!
    1.11  
    1.12  \input{notation}
    1.13