--- a/src/HOL/ROOT Thu Jul 16 16:48:12 2020 +0200
+++ b/src/HOL/ROOT Thu Jul 16 16:53:08 2020 +0200
@@ -479,7 +479,7 @@
session "HOL-Proofs-ex" in "Proofs/ex" = "HOL-Proofs" +
sessions
- "HOL-Isar_Examples"
+ "HOL-Examples"
theories
Hilbert_Classical
Proof_Terms