# HG changeset patch
# User wenzelm
# Date 1212589934 -7200
# Node ID 41483ec1b5b69cc39ff3e124e204e8c4a57eaa6e
# Parent  f64166dd92f05c9b6f6e865e023be04426f3af79
work within *this* directory;

diff -r f64166dd92f0 -r 41483ec1b5b6 doc-src/Locales/Locales/document/root.tex
--- a/doc-src/Locales/Locales/document/root.tex	Wed Jun 04 16:31:46 2008 +0200
+++ b/doc-src/Locales/Locales/document/root.tex	Wed Jun 04 16:32:14 2008 +0200
@@ -2,38 +2,15 @@
 \usepackage{amsmath}
 \usepackage{tikz}
 \usepackage{subfigure}
-\usepackage{../isabelle,../isabellesym}
+\usepackage{../../../isabelle,../../../isabellesym}
 \usepackage{verbatim}
 \usepackage{array}
 
-% further packages required for unusual symbols (see also
-% isabellesym.sty), use only when needed
-
 \usepackage{amssymb}
-  %for \<leadsto>, \<box>, \<diamond>, \<sqsupset>, \<mho>, \<Join>,
-  %\<lhd>, \<lesssim>, \<greatersim>, \<lessapprox>, \<greaterapprox>,
-  %\<triangleq>, \<yen>, \<lozenge>
-
-%\usepackage[greek,english]{babel}
-  %option greek for \<euro>
-  %option english (default language) for \<guillemotleft>, \<guillemotright>
 
-%\usepackage[latin1]{inputenc}
-  %for \<onesuperior>, \<onequarter>, \<twosuperior>, \<onehalf>,
-  %\<threesuperior>, \<threequarters>, \<degree>
-
-%\usepackage[only,bigsqcap]{stmaryrd}
-  %for \<Sqinter>
+\usepackage{../../../pdfsetup}
 
-%\usepackage{eufrak}
-  %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
-
-%\usepackage{textcomp}
-  %for \<cent>, \<currency>
-
-% this should be the last package used
-\usepackage{../pdfsetup}
-
+\isadroptag{theory}
 \isafoldtag{proof}
 
 % urls in roman style, theory text in typewriter
@@ -65,10 +42,8 @@
 
 \parindent 0pt\parskip 0.5ex
 
-% generated text of all theories
 \input{session}
 
-% optional bibliography
 \newpage
 \bibliographystyle{abbrv}
 \bibliography{root}