# HG changeset patch
# User wenzelm
# Date 1754591608 -7200
# Node ID 55a71dd13ca0f0fef4a38321d539338627ff772d
# Parent  8142462f08839d526bee15398dc4076ff19c2480
tuned whitespace;

diff -r 8142462f0883 -r 55a71dd13ca0 src/HOL/ROOT
--- a/src/HOL/ROOT	Thu Aug 07 13:18:15 2025 +0200
+++ b/src/HOL/ROOT	Thu Aug 07 20:33:28 2025 +0200
@@ -106,7 +106,7 @@
     "HOL-Combinatorics"
     "HOL-Computational_Algebra"
     "HOL-Real_Asymp"
-theories
+  theories
     Analysis
     Finite_Function_Topology (* not part of main file because it imports problematic Sum_any notation *)
   document_files