| changeset 73406 | 9939146b90ad |
| parent 61978 | 7ab2dc7ba8f8 |
| child 73595 | aece5cc9efb7 |
--- a/src/HOL/Proofs/Lambda/document/root.tex Wed Mar 10 19:03:24 2021 +0100 +++ b/src/HOL/Proofs/Lambda/document/root.tex Wed Mar 10 20:09:26 2021 +0100 @@ -1,4 +1,5 @@ \documentclass[11pt,a4paper]{article} +\usepackage[T1]{fontenc} \usepackage{graphicx} \usepackage[english]{babel} \usepackage{amssymb}