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.
redundant
authorhaftmann
Sun, 30 Dec 2018 10:34:56 +0000
changeset 69545 4aed40ecfb43
parent 69544 5aa5a8d6e5b5
child 69546 27dae626822b
redundant
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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"
isabelle