src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Feb 19 14:50:12 2016 +0100
+++ b/src/HOL/ROOT	Fri Feb 19 15:01:38 2016 +0100
@@ -402,6 +402,7 @@
   options [document = false, parallel_proofs = 0]
   theories
     Hilbert_Classical
+    Proof_Terms
     XML_Data
 
 session "HOL-Proofs-Extraction" in "Proofs/Extraction" = "HOL-Proofs" +