--- a/src/HOL/ROOT Sat Apr 13 16:26:19 2019 +0200
+++ b/src/HOL/ROOT Sat Apr 13 16:33:33 2019 +0200
@@ -74,7 +74,7 @@
theories
Approximations
-session "HOL-Homology" (main timing) in Homology = "HOL-Analysis" +
+session "HOL-Homology" (timing) in Homology = "HOL-Analysis" +
options [document_tags = "theorem%important,corollary%important,proposition%important,class%important,instantiation%important,subsubsection%unimportant,%unimportant",
document_variants = "document:manual=-proof,-ML,-unimportant"]
sessions