diff -r a62c86d25024 -r 716336f19aa9 src/HOL/ROOT
--- a/src/HOL/ROOT	Mon Feb 29 22:32:04 2016 +0100
+++ b/src/HOL/ROOT	Mon Feb 29 22:34:36 2016 +0100
@@ -821,14 +821,15 @@
     StateSpaceEx
   document_files "root.tex"
 
-session "HOL-NSA" in NSA = HOL +
+session "HOL-Nonstandard_Analysis" in Nonstandard_Analysis = HOL +
   description {*
     Nonstandard analysis.
   *}
-  theories Hypercomplex
+  theories
+    Nonstandard_Analysis
   document_files "root.tex"
 
-session "HOL-NSA-Examples" in "NSA/Examples" = "HOL-NSA" +
+session "HOL-Nonstandard_Analysis-Examples" in "Nonstandard_Analysis/Examples" = "HOL-Nonstandard_Analysis" +
   options [document = false]
   theories NSPrimes