# HG changeset patch
# User wenzelm
# Date 1340977217 -7200
# Node ID 9b41d34450e88d8ad2f0f1376ae9843f955a48ac
# Parent  6404816632f76926ffa92db155541ffd4d71167c
removed generated stuff to avoid bit rot;

diff -r 6404816632f7 -r 9b41d34450e8 src/HOL/IMP/document/root.tex
--- a/src/HOL/IMP/document/root.tex	Fri Jun 29 10:59:17 2012 +0200
+++ b/src/HOL/IMP/document/root.tex	Fri Jun 29 15:40:17 2012 +0200
@@ -6,28 +6,6 @@
 
 \usepackage{latexsym}
 
-%\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}