# HG changeset patch
# User wenzelm
# Date 1346266865 -7200
# Node ID 09a9761cf5ae1fea79e491646e0573ada94ad9c4
# Parent  8ce0fa01ea8687123c55727262cc896c129ddf1f
removed remains of generated material, which tends to rot;

diff -r 8ce0fa01ea86 -r 09a9761cf5ae src/Doc/LaTeXsugar/document/root.tex
--- 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}
diff -r 8ce0fa01ea86 -r 09a9761cf5ae src/HOL/IMP/document/root.tex
--- 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
diff -r 8ce0fa01ea86 -r 09a9761cf5ae src/HOL/Ordinals_and_Cardinals/document/root.tex
--- 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}