Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ROOT
changeset 70958 e8fc52f3f175
parent 70956 860198428664
child 71042 400e9512f1d3 
--- a/src/HOL/ROOT	Sun Oct 27 20:11:30 2019 -0400
+++ b/src/HOL/ROOT	Sun Oct 27 20:53:10 2019 -0400
@@ -689,11 +689,13 @@
   \<close>
   sessions
     FOL
+    "HOL-Analysis"
   theories
     Eisbach
     Tests
     Examples
     Examples_FOL
+    Example_Metric
 
 session "HOL-SET_Protocol" (timing) in SET_Protocol = "HOL-Library" +
   description "
isabelle