# HG changeset patch
# User wenzelm
# Date 1615311883 -3600
# Node ID 8b464825d2b50bdec646b573d673d8582a95a62b
# Parent  e488f4bb1c79b2655359c505d03bffe099327cf7
removed unused latex packages;

diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Classes/document/root.tex
--- a/src/Doc/Classes/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Classes/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -1,5 +1,5 @@
 \documentclass[12pt,a4paper,fleqn]{article}
-\usepackage{latexsym,graphicx}
+\usepackage{graphicx}
 \usepackage{iman,extra,isar}
 \usepackage{isabelle,isabellesym}
 \usepackage{style}
diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Codegen/document/root.tex
--- a/src/Doc/Codegen/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Codegen/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -1,7 +1,7 @@
 
 \documentclass[12pt,a4paper,fleqn]{article}
 \usepackage[T1]{fontenc}
-\usepackage{latexsym,graphicx}
+\usepackage{graphicx}
 \usepackage{tikz}\usetikzlibrary{shapes}\usetikzlibrary{arrows}
 \usepackage{multirow}
 \usepackage{iman,extra,isar}
diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Corec/document/root.tex
--- a/src/Doc/Corec/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Corec/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -5,7 +5,6 @@
 \usepackage{cite}
 \usepackage{enumitem}
 \usepackage{footmisc}
-\usepackage{latexsym}
 \usepackage{graphicx}
 \usepackage{iman}
 \usepackage{extra}
diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Datatypes/document/root.tex
--- a/src/Doc/Datatypes/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Datatypes/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -5,7 +5,6 @@
 \usepackage{cite}
 \usepackage{enumitem}
 \usepackage{footmisc}
-\usepackage{latexsym}
 \usepackage{graphicx}
 \usepackage{iman}
 \usepackage{extra}
diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Eisbach/document/root.tex
--- a/src/Doc/Eisbach/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Eisbach/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -1,6 +1,6 @@
 \documentclass[12pt,a4paper,fleqn]{report}
 \usepackage[T1]{fontenc}
-\usepackage{latexsym,graphicx}
+\usepackage{graphicx}
 \usepackage[refpage]{nomencl}
 \usepackage{iman,extra,isar,proof}
 \usepackage[nohyphen,strings]{underscore}
diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Functions/document/root.tex
--- a/src/Doc/Functions/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Functions/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -1,7 +1,7 @@
 
 \documentclass[a4paper,fleqn]{article}
 
-\usepackage{latexsym,graphicx}
+\usepackage{graphicx}
 \usepackage[refpage]{nomencl}
 \usepackage{iman,extra,isar}
 \usepackage{isabelle,isabellesym}
diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Implementation/document/root.tex
--- a/src/Doc/Implementation/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Implementation/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -1,6 +1,6 @@
 \documentclass[12pt,a4paper,fleqn]{report}
 \usepackage[T1]{fontenc}
-\usepackage{latexsym,graphicx}
+\usepackage{graphicx}
 \usepackage[refpage]{nomencl}
 \usepackage{iman,extra,isar,proof}
 \usepackage[nohyphen,strings]{underscore}
diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Isar_Ref/document/root.tex
--- a/src/Doc/Isar_Ref/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Isar_Ref/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -7,8 +7,6 @@
 \usepackage{pifont}
 \usepackage[english]{babel}
 \usepackage[only,bigsqcap]{stmaryrd}
-\usepackage{textcomp}
-\usepackage{latexsym}
 \usepackage{graphicx}
 \let\intorig=\int  %iman.sty redefines \int
 \usepackage{iman,extra,isar,proof}
diff -r e488f4bb1c79 -r 8b464825d2b5 src/Doc/Tutorial/document/root.tex
--- a/src/Doc/Tutorial/document/root.tex	Tue Mar 09 17:31:51 2021 +0100
+++ b/src/Doc/Tutorial/document/root.tex	Tue Mar 09 18:44:43 2021 +0100
@@ -1,7 +1,7 @@
 \documentclass{article}
 \usepackage{cl2emono-modified,isabelle,isabellesym}
 \usepackage{proof,amsmath,amsfonts,amssymb}
-\usepackage{latexsym,wasysym,verbatim,graphicx,tutorial,ttbox,comment}
+\usepackage{wasysym,verbatim,graphicx,tutorial,ttbox,comment}
 \usepackage{eurosym}
 \usepackage[english]{babel}
 \usepackage{pdfsetup}