diff -r 5aa5a8d6e5b5 -r 4aed40ecfb43 src/HOL/ROOT
--- a/src/HOL/ROOT	Sat Dec 29 20:32:09 2018 +0100
+++ b/src/HOL/ROOT	Sun Dec 30 10:34:56 2018 +0000
@@ -65,7 +65,6 @@
     "HOL-Library"
     "HOL-Computational_Algebra"
   theories
-    L2_Norm
     Analysis
   document_files
     "root.tex"