1.1 --- a/doc-src/IsarRef/isar-ref.tex	Fri Jun 29 15:40:17 2012 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Fri Jun 29 15:45:50 2012 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  \documentclass[12pt,a4paper,fleqn]{report}
     1.5  \usepackage{amssymb}
     1.6 -\usepackage[greek,english]{babel}
     1.7 +\usepackage{eurosym}
     1.8 +\usepackage[english]{babel}
     1.9  \usepackage[only,bigsqcap]{stmaryrd}
    1.10  \usepackage{textcomp}
    1.11  \usepackage{latexsym}