src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Mar 26 20:36:32 2013 +0100
+++ b/src/HOL/ROOT	Tue Mar 26 20:37:32 2013 +0100
@@ -347,6 +347,9 @@
   files "document/root.bib" "document/root.tex"
 
 session "HOL-Decision_Procs" in Decision_Procs = HOL +
+  description {*
+    Various decision procedures, typically involving reflection.
+  *}
   options [condition = ISABELLE_POLYML, document = false]
   theories Decision_Procs