src/HOL/ROOT
changeset 59747 7325ffa35038
parent 59743 d8fb00487c4d
child 59777 9ad96e97e72d
     1.1 --- a/src/HOL/ROOT	Wed Mar 18 17:23:22 2015 +0000
     1.2 +++ b/src/HOL/ROOT	Wed Mar 18 21:40:21 2015 +0100
     1.3 @@ -741,7 +741,9 @@
     1.4      Ordinals and Cardinals, Full Theories.
     1.5    *}
     1.6    options [document = false]
     1.7 -  theories Cardinals
     1.8 +  theories
     1.9 +    Cardinals
    1.10 +    Bounded_Set
    1.11    document_files
    1.12      "intro.tex"
    1.13      "root.tex"