--- a/src/HOL/HOLCF/Tutorial/document/root.tex Wed Jan 01 16:42:28 2025 +0100
+++ b/src/HOL/HOLCF/Tutorial/document/root.tex Wed Jan 01 19:24:00 2025 +0100
@@ -2,6 +2,7 @@
% HOLCF/document/root.tex
\documentclass[11pt,a4paper]{article}
+\usepackage[T1]{fontenc}
\usepackage{graphicx,isabelle,isabellesym,latexsym}
\usepackage[only,bigsqcap]{stmaryrd}
\usepackage{textcomp}
--- a/src/HOL/ZF/document/root.tex Wed Jan 01 16:42:28 2025 +0100
+++ b/src/HOL/ZF/document/root.tex Wed Jan 01 19:24:00 2025 +0100
@@ -1,4 +1,5 @@
\documentclass[11pt,a4paper]{article}
+\usepackage[T1]{fontenc}
\usepackage{isabelle,isabellesym}
% this should be the last package used