# HG changeset patch
# User wenzelm
# Date 1631303755 -7200
# Node ID 641300b56ebe69a0736d962547d8bc4a89bacb43
# Parent  6876e3d5e3625b448327d19636d909922766b7f9
tuned comments;

diff -r 6876e3d5e362 -r 641300b56ebe src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Sep 10 17:35:38 2021 +0200
+++ b/src/HOL/ROOT	Fri Sep 10 21:55:55 2021 +0200
@@ -17,7 +17,7 @@
 
 session "HOL-Examples" in Examples = HOL +
   description "
-    Notable Examples in Isabelle/HOL.
+    Notable Examples for Isabelle/HOL.
   "
   sessions
     "HOL-Computational_Algebra"
@@ -638,7 +638,7 @@
 
 session "HOL-ex" (timing) in ex = "HOL-Number_Theory" +
   description "
-    Miscellaneous examples for Higher-Order Logic.
+    Miscellaneous examples and experiments for Isabelle/HOL.
   "
   theories
     Antiquote
diff -r 6876e3d5e362 -r 641300b56ebe src/Pure/ROOT
--- a/src/Pure/ROOT	Fri Sep 10 17:35:38 2021 +0200
+++ b/src/Pure/ROOT	Fri Sep 10 21:55:55 2021 +0200
@@ -13,7 +13,7 @@
 
 session "Pure-Examples" in Examples = Pure +
   description "
-    Notable Examples in Isabelle/Pure.
+    Notable Examples for Isabelle/Pure.
   "
   theories
     First_Order_Logic