src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Dec 24 14:46:26 2017 +0100
+++ b/src/HOL/ROOT	Sun Dec 24 14:28:10 2017 +0100
@@ -69,7 +69,6 @@
 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" +
   theories
     Approximations
-    Circle_Area
 
 session "HOL-Computational_Algebra" (main timing) in "Computational_Algebra" = "HOL-Library" +
   theories