--- a/src/Doc/LaTeXsugar/document/root.tex Wed Aug 29 20:54:49 2012 +0200
+++ b/src/Doc/LaTeXsugar/document/root.tex Wed Aug 29 21:01:05 2012 +0200
@@ -1,8 +1,6 @@
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
-% further packages required for unusual symbols (see also isabellesym.sty)
-% use only when needed
\usepackage{amssymb}
\usepackage{mathpartir}
--- a/src/HOL/IMP/document/root.tex Wed Aug 29 20:54:49 2012 +0200
+++ b/src/HOL/IMP/document/root.tex Wed Aug 29 21:01:05 2012 +0200
@@ -1,9 +1,6 @@
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
-% further packages required for unusual symbols (see also
-% isabellesym.sty), use only when needed
-
\usepackage{latexsym}
% this should be the last package used
--- a/src/HOL/Ordinals_and_Cardinals/document/root.tex Wed Aug 29 20:54:49 2012 +0200
+++ b/src/HOL/Ordinals_and_Cardinals/document/root.tex Wed Aug 29 21:01:05 2012 +0200
@@ -1,31 +1,6 @@
\documentclass[11pt,a4paper]{article}
\usepackage{isabelle,isabellesym}
-% 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{eufrak}
- %for \<AA> ... \<ZZ>, \<aa> ... \<zz> (also included in amssymb)
-
-%\usepackage{textcomp}
- %for \<cent>, \<currency>
-
% this should be the last package used
\usepackage{pdfsetup}