merged
authornipkow
Wed Sep 05 05:05:26 2018 +0200 (9 months ago)
changeset 68912ecc76fa24a32
parent 68910 a21202dfe3eb
parent 68911 7f2ebaa4c71f
child 68913 55b12fde48d0
merged
     1.1 --- a/src/HOL/ROOT	Tue Sep 04 22:33:19 2018 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Sep 05 05:05:26 2018 +0200
     1.3 @@ -65,6 +65,7 @@
     1.4      "HOL-Library"
     1.5      "HOL-Computational_Algebra"
     1.6    theories
     1.7 +    L2_Norm
     1.8      Analysis
     1.9    document_files
    1.10      "root.tex"