| changeset 73401 | 8b464825d2b5 |
| parent 50426 | d2c60ada3ece |
| child 73723 | 1bbbaae6b5e3 |
--- 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}