# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1527843453 -3600
# Node ID b58e7131de0dd610a61e56950791bd327b14184e
# Parent  ed0062efb91cff96c26babcade5ad899c9771b19
Fixed latex markup

diff -r ed0062efb91c -r b58e7131de0d src/HOL/Analysis/Cauchy_Integral_Theorem.thy
--- a/src/HOL/Analysis/Cauchy_Integral_Theorem.thy	Fri Jun 01 00:25:35 2018 +0100
+++ b/src/HOL/Analysis/Cauchy_Integral_Theorem.thy	Fri Jun 01 09:57:33 2018 +0100
@@ -308,8 +308,8 @@
 ``The usual assumption in complex analysis texts is that a path \<open>\<gamma>\<close> should be piecewise
 continuously differentiable, which ensures that the path integral exists at least for any continuous
 f, since all piecewise continuous functions are integrable. However, our notion of validity is
-weaker, just piecewise differentiability\<dots> [namely] continuity plus differentiability except on a
-finite set \<dots> [Our] underlying theory of integration is the Kurzweil-Henstock theory. In contrast to
+weaker, just piecewise differentiability\ldots{} [namely] continuity plus differentiability except on a
+finite set\ldots{} [Our] underlying theory of integration is the Kurzweil-Henstock theory. In contrast to
 the Riemann or Lebesgue theory (but in common with a simple notion based on antiderivatives), this
 can integrate all derivatives.''