| changeset 73401 | 8b464825d2b5 |
| parent 59005 | 1c54ebc68394 |
| child 73404 | 299f6a8faccc |
--- 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}