removed babel again
authorhaftmann
Tue Sep 16 16:13:14 2008 +0200 (2008-09-16)
changeset 282468fc6ea9a2d8c
parent 28245 9767dd8e1e54
child 28247 8aa636a9e2ce
removed babel again
src/HOL/document/root.tex
     1.1 --- a/src/HOL/document/root.tex	Tue Sep 16 16:13:11 2008 +0200
     1.2 +++ b/src/HOL/document/root.tex	Tue Sep 16 16:13:14 2008 +0200
     1.3 @@ -4,7 +4,6 @@
     1.4  \documentclass[11pt,a4paper]{article}
     1.5  \usepackage{graphicx,isabelle,isabellesym,latexsym}
     1.6  \usepackage{amssymb}
     1.7 -\usepackage[english]{babel}
     1.8  \usepackage[only,bigsqcap]{stmaryrd}
     1.9  \usepackage[latin1]{inputenc}
    1.10  \usepackage{pdfsetup}