src/HOL/ROOT
changeset 51544 8c58fbbc1d5a
parent 51517 7957d26c3334
child 51553 63327f679cff
     1.1 --- a/src/HOL/ROOT	Tue Mar 26 20:36:32 2013 +0100
     1.2 +++ b/src/HOL/ROOT	Tue Mar 26 20:37:32 2013 +0100
     1.3 @@ -347,6 +347,9 @@
     1.4    files "document/root.bib" "document/root.tex"
     1.5  
     1.6  session "HOL-Decision_Procs" in Decision_Procs = HOL +
     1.7 +  description {*
     1.8 +    Various decision procedures, typically involving reflection.
     1.9 +  *}
    1.10    options [condition = ISABELLE_POLYML, document = false]
    1.11    theories Decision_Procs
    1.12