src/HOL/Bali/Evaln.thy

--- a/src/HOL/Bali/Evaln.thy	Fri Nov 01 10:35:50 2002 +0100
+++ b/src/HOL/Bali/Evaln.thy	Fri Nov 01 13:16:28 2002 +0100
@@ -743,6 +743,10 @@
     by (rule evaln.Super)
   then show ?case ..
 next
+-- {* 
+\par
+*} (* dummy text command to break paragraph for latex;
+              large paragraphs exhaust memory of debian pdflatex *)
   case (Acc f s0 s1 v va)
   then obtain n where
     "G\<turnstile>Norm s0 \<midarrow>va=\<succ>(v, f)\<midarrow>n\<rightarrow> s1"