Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper import sessions;
authorwenzelm
Thu, 16 Jul 2020 16:53:08 +0200
changeset 72049 18d35be9493f
parent 72048 d3b8c8b2d1fc
child 72050 d4de7e4754d2
proper import sessions;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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
isabelle