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}