fixed document setup of HOL-Library;

--- a/src/HOL/IsaMakefile	Fri Jan 18 18:30:19 2002 +0100
+++ b/src/HOL/IsaMakefile	Fri Jan 18 18:35:39 2002 +0100
@@ -191,7 +191,8 @@
   Library/Ring_and_Field_Example.thy Library/Nat_Infinity.thy \
   Library/README.html Library/Continuity.thy \
   Library/Nested_Environment.thy Library/Rational_Numbers.thy \
-  Library/Library/ROOT.ML Library/While_Combinator.thy
+  Library/Library/ROOT.ML Library/Library/document/root.tex \
+  Library/Library/document/root.bib Library/While_Combinator.thy
 	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library
 
 

--- a/src/HOL/Library/Library/document/root.tex	Fri Jan 18 18:30:19 2002 +0100
+++ b/src/HOL/Library/Library/document/root.tex	Fri Jan 18 18:35:39 2002 +0100
@@ -3,6 +3,7 @@
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{ifthen}
+\usepackage[latin1]{inputenc}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
 \urlstyle{rm}