src/HOL/document/root.tex
changeset 15691 900cf45ff0a6
parent 15503 38616a65bfbd
child 16764 ca81a99c5bc1
     1.1 --- a/src/HOL/document/root.tex	Sun Apr 10 11:42:07 2005 +0200
     1.2 +++ b/src/HOL/document/root.tex	Sun Apr 10 17:19:03 2005 +0200
     1.3 @@ -3,6 +3,7 @@
     1.4  
     1.5  \documentclass[11pt,a4paper]{article}
     1.6  \usepackage{graphicx,isabelle,isabellesym,latexsym}
     1.7 +\usepackage{amssymb}
     1.8  \usepackage[only,bigsqcap]{stmaryrd}
     1.9  \usepackage[latin1]{inputenc}
    1.10  \usepackage{pdfsetup}