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}