# HG changeset patch
# User wenzelm
# Date 1004097778 -7200
# Node ID 0594e63e60575a985609013ab7b121888d09976c
# Parent  a9672446b45fd0e3102f232357cc5994230c31c9
tuned notation;

diff -r a9672446b45f -r 0594e63e6057 src/HOL/Lambda/document/root.tex
--- a/src/HOL/Lambda/document/root.tex	Fri Oct 26 12:24:19 2001 +0200
+++ b/src/HOL/Lambda/document/root.tex	Fri Oct 26 14:02:58 2001 +0200
@@ -3,6 +3,8 @@
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx}
+\usepackage[english]{babel}
+\usepackage[latin1]{inputenc}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
 \isabellestyle{it}