added babel -- necessary for bind infix syntax
authorhaftmann
Fri Mar 06 20:30:18 2009 +0100 (2009-03-06)
changeset 3032997ce36d801b6
parent 30328 ab47f43f7581
child 30330 8291bc63d7c9
added babel -- necessary for bind infix syntax
src/HOL/document/root.tex
     1.1 --- a/src/HOL/document/root.tex	Fri Mar 06 20:30:17 2009 +0100
     1.2 +++ b/src/HOL/document/root.tex	Fri Mar 06 20:30:18 2009 +0100
     1.3 @@ -1,9 +1,8 @@
     1.4 -
     1.5 -% $Id$
     1.6  
     1.7  \documentclass[11pt,a4paper]{article}
     1.8  \usepackage{graphicx,isabelle,isabellesym,latexsym}
     1.9  \usepackage{amssymb}
    1.10 +\usepackage[english]{babel}
    1.11  \usepackage[only,bigsqcap]{stmaryrd}
    1.12  \usepackage[latin1]{inputenc}
    1.13  \usepackage{pdfsetup}