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 63627 6ddb43c6b711
parent 63594 bd218a9320b5
child 63643 f9ad2e591957 
--- a/src/HOL/ROOT	Fri Aug 05 18:34:57 2016 +0200
+++ b/src/HOL/ROOT	Mon Aug 08 14:13:14 2016 +0200
@@ -716,17 +716,17 @@
   theories
     ATP_Problem_Import
 
-session "HOL-Multivariate_Analysis" (main) in Multivariate_Analysis = HOL +
+session "HOL-Analysis" (main) in Analysis = HOL +
   theories
-    Multivariate_Analysis
+    Analysis
   document_files
     "root.tex"
 
-session "HOL-Multivariate_Analysis-ex" in "Multivariate_Analysis/ex" = "HOL-Multivariate_Analysis" +
+session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" +
   theories
     Approximations
 
-session "HOL-Probability" in "Probability" = "HOL-Multivariate_Analysis" +
+session "HOL-Probability" in "Probability" = "HOL-Analysis" +
   theories [document = false]
     "~~/src/HOL/Library/Countable"
     "~~/src/HOL/Library/Permutation"
isabelle