src/HOL/ROOT
changeset 56680 4e2a0d4e7a82
parent 56676 015f9e5e4fae
child 56781 f2eb0f22589f
     1.1 --- a/src/HOL/ROOT	Thu Apr 24 00:23:38 2014 +0200
     1.2 +++ b/src/HOL/ROOT	Thu Apr 24 10:33:17 2014 +0200
     1.3 @@ -560,7 +560,6 @@
     1.4      HarmonicSeries
     1.5      Refute_Examples
     1.6      Execute_Choice
     1.7 -    Summation
     1.8      Gauge_Integration
     1.9      Dedekind_Real
    1.10      Quicksort