# HG changeset patch
# User nipkow
# Date 1536116700 -7200
# Node ID 7f2ebaa4c71f98e34eb7f2d125fc74ab7b0c53d0
# Parent  8414bbd7bb46e5fbe76a0ba72ea6ddb5f673e121
tuned doc

diff -r 8414bbd7bb46 -r 7f2ebaa4c71f src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Sep 04 08:40:53 2018 +0200
+++ b/src/HOL/ROOT	Wed Sep 05 05:05:00 2018 +0200
@@ -65,6 +65,7 @@
     "HOL-Library"
     "HOL-Computational_Algebra"
   theories
+    L2_Norm
     Analysis
   document_files
     "root.tex"