changeset 73404 | 299f6a8faccc |
parent 62314 | ec0fbd1a852b |
--- a/src/HOL/Isar_Examples/document/root.tex Tue Mar 09 20:00:44 2021 +0100 +++ b/src/HOL/Isar_Examples/document/root.tex Tue Mar 09 21:11:05 2021 +0100 @@ -1,5 +1,5 @@ \documentclass[11pt,a4paper]{article} -\usepackage[utf8]{inputenc} +\usepackage[T1]{fontenc} \usepackage[only,bigsqcap]{stmaryrd} \usepackage{ifthen,proof,amssymb,isabelle,isabellesym} \isabellestyle{it}