--- 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}
--- 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}
--- 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}
--- 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}
--- 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}
--- 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}
--- 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}
--- 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}
--- 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}