--- 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