
diff -r 600d1f17af68 -r dc105ee2d759 src/HOL/HOLCF/Tutorial/document/root.tex
--- 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}




