src/HOL/ROOT
changeset 60809 457abb82fb9e
parent 60804 080a979a985b
child 60921 487050067be9
     1.1 --- a/src/HOL/ROOT	Tue Jul 28 13:00:54 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Tue Jul 28 16:16:13 2015 +0100
     1.3 @@ -703,6 +703,7 @@
     1.4      PolyRoots
     1.5      Complex_Analysis_Basics
     1.6      Complex_Transcendental
     1.7 +    Cauchy_Integral_Thm
     1.8    document_files
     1.9      "root.tex"
    1.10