# HG changeset patch
# User kleing
# Date 1036143350 -3600
# Node ID 3d4ad560b2ff3bc896facf4f815c4badffa8f537
# Parent  a0b16d42d48944d9e98484353bc1f797c63b5a13
fixed "latex capacity exceeded"

diff -r a0b16d42d489 -r 3d4ad560b2ff src/HOL/Bali/document/root.tex
--- a/src/HOL/Bali/document/root.tex	Thu Oct 31 18:27:10 2002 +0100
+++ b/src/HOL/Bali/document/root.tex	Fri Nov 01 10:35:50 2002 +0100
@@ -4,7 +4,8 @@
 \usepackage{latexsym}
 \usepackage{graphicx}
 \usepackage{pdfsetup}
-\usepackage[english,french]{babel}
+\usepackage[french,english]{babel}
+\usepackage{ifthen}
 
 \urlstyle{rm}
 \isabellestyle{it}
@@ -26,6 +27,8 @@
 {\begin{isabellebody}}
 {\end{isabellebody}}
 
+\renewcommand{\isacommand}[1]{\ifthenelse{\equal{#1}{lemma}}
+{\par\isakeyword{#1}}{\isakeyword{#1}}}
 
 \begin{document}