1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue Apr 22 22:00:31 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Wed Apr 23 12:13:08 2008 +0200
     1.3 @@ -9,6 +9,10 @@
     1.4  \usepackage{style}
     1.5  \usepackage{../pdfsetup}
     1.6  
     1.7 +\hyphenation{Isabelle}
     1.8 +\hyphenation{Isar}
     1.9 +
    1.10 +\isadroptag{theory}
    1.11  \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
    1.12  \author{\emph{Markus Wenzel} \\ TU M\"unchen}
    1.13  
    1.14 @@ -64,16 +68,16 @@
    1.15  
    1.16  \pagenumbering{roman} \tableofcontents \clearfirst
    1.17  
    1.18 -\include{intro}
    1.19 -\include{basics}
    1.20 -\include{syntax}
    1.21 -\include{pure}
    1.22 -\include{generic}
    1.23 -\include{logics}
    1.24 +\input{Thy/document/intro.tex}
    1.25 +\input{basics.tex}
    1.26 +\input{syntax.tex}
    1.27 +\input{pure.tex}
    1.28 +\input{generic.tex}
    1.29 +\input{logics.tex}
    1.30  
    1.31  \appendix
    1.32 -\include{refcard}
    1.33 -\include{conversion}
    1.34 +\input{refcard.tex}
    1.35 +\input{conversion.tex}
    1.36  
    1.37  \begingroup
    1.38    \bibliographystyle{plain} \small\raggedright\frenchspacing