tuned notation;

--- 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}