1.1 --- a/src/HOL/ROOT	Sun Jun 23 14:26:49 2013 +0200
     1.2 +++ b/src/HOL/ROOT	Sun Jun 23 16:47:45 2013 +0200
     1.3 @@ -357,7 +357,9 @@
     1.4  
     1.5  session "HOL-Proofs-ex" in "Proofs/ex" = "HOL-Proofs" +
     1.6    options [document = false, proofs = 2, skip_proofs = false, parallel_proofs = 0]
     1.7 -  theories Hilbert_Classical
     1.8 +  theories
     1.9 +    Hilbert_Classical
    1.10 +    XML_Data
    1.11  
    1.12  session "HOL-Proofs-Extraction" in "Proofs/Extraction" = "HOL-Proofs" +
    1.13    description {*