Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned doc
authornipkow
Wed, 05 Sep 2018 05:05:00 +0200
changeset 68911 7f2ebaa4c71f
parent 68902 8414bbd7bb46
child 68912 ecc76fa24a32
tuned doc
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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"
isabelle