equal
deleted
inserted
replaced
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 |