src/HOL/ROOT
changeset 62363 7b5468422352
parent 62357 ab76bd43c14a
child 62380 29800666e526
     1.1 --- a/src/HOL/ROOT	Fri Feb 19 14:50:12 2016 +0100
     1.2 +++ b/src/HOL/ROOT	Fri Feb 19 15:01:38 2016 +0100
     1.3 @@ -402,6 +402,7 @@
     1.4    options [document = false, parallel_proofs = 0]
     1.5    theories
     1.6      Hilbert_Classical
     1.7 +    Proof_Terms
     1.8      XML_Data
     1.9  
    1.10  session "HOL-Proofs-Extraction" in "Proofs/Extraction" = "HOL-Proofs" +