# HG changeset patch
# User nipkow
# Date 1536116726 -7200
# Node ID ecc76fa24a3202b54cf3323ac922830b96fb5d89
# Parent  a21202dfe3ebdc52df522181449911922fd356f9# Parent  7f2ebaa4c71f98e34eb7f2d125fc74ab7b0c53d0
merged

diff -r a21202dfe3eb -r ecc76fa24a32 src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Sep 04 22:33:19 2018 +0200
+++ b/src/HOL/ROOT	Wed Sep 05 05:05:26 2018 +0200
@@ -65,6 +65,7 @@
     "HOL-Library"
     "HOL-Computational_Algebra"
   theories
+    L2_Norm
     Analysis
   document_files
     "root.tex"