removed unicode symbol
authornipkow
Tue May 22 14:12:03 2018 +0200 (21 months ago)
changeset 682477344affc0bd4
parent 68245 37974ddde928
child 68248 ef1e0cb80fde
removed unicode symbol
src/HOL/Analysis/Cauchy_Integral_Theorem.thy
     1.1 --- a/src/HOL/Analysis/Cauchy_Integral_Theorem.thy	Tue May 22 11:05:47 2018 +0200
     1.2 +++ b/src/HOL/Analysis/Cauchy_Integral_Theorem.thy	Tue May 22 14:12:03 2018 +0200
     1.3 @@ -287,7 +287,7 @@
     1.4  continuously differentiable, which ensures that the path integral exists at least for any continuous
     1.5  f, since all piecewise continuous functions are integrable. However, our notion of validity is
     1.6  weaker, just piecewise differentiability... [namely] continuity plus differentiability except on a
     1.7 -finite set ... [Our] underlying theory of integration is the Kurzweil-Henstock theory. In contrast to
     1.8 +finite set ... [Our] underlying theory of integration is the Kurzweil-Henstock theory. In contrast to
     1.9  the Riemann or Lebesgue theory (but in common with a simple notion based on antiderivatives), this
    1.10  can integrate all derivatives.''
    1.11