# HG changeset patch
# User wenzelm
# Date 1594911188 -7200
# Node ID 18d35be9493fd510878db703695a83c662cda7ef
# Parent  d3b8c8b2d1fc0c8eb14db023563c5f9ec0b7019c
proper import sessions;

diff -r d3b8c8b2d1fc -r 18d35be9493f src/HOL/ROOT
--- 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