# HG changeset patch
# User wenzelm
# Date 1007427730 -3600
# Node ID f7fa60115e4e758ed7b4162dfff22e0539aaab49
# Parent  ce0961b1f5362b17c9995143b3eb8ccb1d50e74b
\usepackage{textcomp};

diff -r ce0961b1f536 -r f7fa60115e4e src/HOL/ex/document/root.tex
--- a/src/HOL/ex/document/root.tex	Tue Dec 04 02:01:49 2001 +0100
+++ b/src/HOL/ex/document/root.tex	Tue Dec 04 02:02:10 2001 +0100
@@ -4,6 +4,7 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 \usepackage[english]{babel}
+\usepackage{textcomp}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}