src/HOL/ROOT
changeset 70646 a4d265a6c5cc
parent 70634 0f8742b5a9e8
child 70660 373d95cf1b98
equal deleted inserted replaced
70645:fc27cecb66d8 70646:a4d265a6c5cc
   732     TPTP_Proof_Reconstruction
   732     TPTP_Proof_Reconstruction
   733   theories
   733   theories
   734     ATP_Problem_Import
   734     ATP_Problem_Import
   735 
   735 
   736 session "HOL-Probability" (main timing) in "Probability" = "HOL-Analysis" +
   736 session "HOL-Probability" (main timing) in "Probability" = "HOL-Analysis" +
   737   theories
   737   theories [dump_checkpoint]
   738     Probability
   738     Probability
   739   document_files "root.tex"
   739   document_files "root.tex"
   740 
   740 
   741 session "HOL-Probability-ex" (timing) in "Probability/ex" = "HOL-Probability" +
   741 session "HOL-Probability-ex" (timing) in "Probability/ex" = "HOL-Probability" +
   742   theories
   742   theories
   743     Dining_Cryptographers
   743     Dining_Cryptographers
   744     Koepf_Duermuth_Countermeasure
   744     Koepf_Duermuth_Countermeasure
   745     Measure_Not_CCC
   745     Measure_Not_CCC
   746 
   746 
   747 session "HOL-Nominal" in Nominal = "HOL-Library" +
   747 session "HOL-Nominal" in Nominal = "HOL-Library" +
   748   theories
   748   theories [dump_checkpoint]
   749     Nominal
   749     Nominal
   750 
   750 
   751 session "HOL-Nominal-Examples" (timing) in "Nominal/Examples" = "HOL-Nominal" +
   751 session "HOL-Nominal-Examples" (timing) in "Nominal/Examples" = "HOL-Nominal" +
   752   theories
   752   theories
   753     Class3
   753     Class3