--- a/src/Doc/Sledgehammer/document/root.tex Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
\documentclass[a4paper,12pt]{article}
-\usepackage{lmodern}
\usepackage[T1]{fontenc}
\usepackage{amsmath}
\usepackage{amssymb}