diff --git a/thys/Special_Function_Bounds/ROOT b/thys/Special_Function_Bounds/ROOT
--- a/thys/Special_Function_Bounds/ROOT
+++ b/thys/Special_Function_Bounds/ROOT
@@ -1,15 +1,15 @@
 chapter AFP
 
 session Special_Function_Bounds (AFP) = Sturm_Sequences +
-  description "Special_Function_Bounds"
+  description "Proofs of upper and lower bounds for trig functions, log, exp, square root"
   options [timeout = 600]
   theories
     Atan_CF_Bounds
     Bounds_Lemmas
     Exp_Bounds
     Log_CF_Bounds
     Sin_Cos_Bounds
     Sqrt_Bounds
   document_files
     "root.bib"
     "root.tex"