src/HOL/ROOT
changeset 64597 1c252d8b6ca6
parent 64591 240a39af9ec4
child 64888 eb019ab30bdc
equal deleted inserted replaced
64596:51f8e259de50 64597:1c252d8b6ca6
   389   *}
   389   *}
   390   options [document = false]
   390   options [document = false]
   391   theories Decision_Procs
   391   theories Decision_Procs
   392 
   392 
   393 session "HOL-Proofs-ex" in "Proofs/ex" = "HOL-Proofs" +
   393 session "HOL-Proofs-ex" in "Proofs/ex" = "HOL-Proofs" +
   394   options [document = false, parallel_proofs = 0]
   394   options [document = false]
   395   theories
   395   theories
   396     Hilbert_Classical
   396     Hilbert_Classical
   397     Proof_Terms
   397     Proof_Terms
   398     XML_Data
   398     XML_Data
   399 
   399