1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue Nov 18 18:22:49 2008 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Tue Nov 18 18:25:10 2008 +0100
     1.3 @@ -2,7 +2,14 @@
     1.4  %% $Id$
     1.5  
     1.6  \documentclass[12pt,a4paper,fleqn]{report}
     1.7 -\usepackage{latexsym,graphicx}
     1.8 +\usepackage{amssymb}
     1.9 +\usepackage[greek,english]{babel}
    1.10 +\usepackage[latin1]{inputenc}
    1.11 +\usepackage[only,bigsqcap]{stmaryrd}
    1.12 +\usepackage{textcomp}
    1.13 +\usepackage{latexsym}
    1.14 +\usepackage{graphicx}
    1.15 +\let\intorig=\int  %iman.sty redefines \int
    1.16  \usepackage{../iman,../extra,../isar,../proof}
    1.17  \usepackage[nohyphen,strings]{../underscore}
    1.18  \usepackage{../isabelle,../isabellesym}
    1.19 @@ -89,6 +96,8 @@
    1.20  
    1.21  \appendix
    1.22  \input{Thy/document/Quick_Reference.tex}
    1.23 +\let\int\intorig
    1.24 +\input{Thy/document/Symbols.tex}
    1.25  \input{Thy/document/ML_Tactic.tex}
    1.26  
    1.27  \begingroup