# HG changeset patch
# User haftmann
# Date 1546166096 0
# Node ID 4aed40ecfb436b025633f1e1b4b688ed1918272c
# Parent  5aa5a8d6e5b57ae8b0fa92b0bbf48d1958e1bc4f
redundant

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"