equal
deleted
inserted
replaced
60 Refute |
60 Refute |
61 document_files "root.bib" "root.tex" |
61 document_files "root.bib" "root.tex" |
62 |
62 |
63 session "HOL-Analysis" (main timing) in Analysis = HOL + |
63 session "HOL-Analysis" (main timing) in Analysis = HOL + |
64 theories |
64 theories |
65 Analysis |
65 Analysis (global) |
66 document_files |
66 document_files |
67 "root.tex" |
67 "root.tex" |
68 |
68 |
69 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" + |
69 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" + |
70 theories |
70 theories |
714 THF_Arith |
714 THF_Arith |
715 TPTP_Proof_Reconstruction |
715 TPTP_Proof_Reconstruction |
716 theories |
716 theories |
717 ATP_Problem_Import |
717 ATP_Problem_Import |
718 |
718 |
719 session "HOL-Probability" (timing) in "Probability" = "HOL-Analysis" + |
719 session "HOL-Probability" (main timing) in "Probability" = "HOL-Analysis" + |
720 theories [document = false] |
720 theories [document = false] |
721 "~~/src/HOL/Library/Countable" |
721 "~~/src/HOL/Library/Countable" |
722 "~~/src/HOL/Library/Permutation" |
722 "~~/src/HOL/Library/Permutation" |
723 "~~/src/HOL/Library/Order_Continuity" |
723 "~~/src/HOL/Library/Order_Continuity" |
724 "~~/src/HOL/Library/Diagonal_Subsequence" |
724 "~~/src/HOL/Library/Diagonal_Subsequence" |
725 "~~/src/HOL/Library/Finite_Map" |
725 "~~/src/HOL/Library/Finite_Map" |
726 theories |
726 theories |
727 Probability |
727 Probability (global) |
728 document_files "root.tex" |
728 document_files "root.tex" |
729 |
729 |
730 session "HOL-Probability-ex" (timing) in "Probability/ex" = "HOL-Probability" + |
730 session "HOL-Probability-ex" (timing) in "Probability/ex" = "HOL-Probability" + |
731 theories |
731 theories |
732 "Dining_Cryptographers" |
732 "Dining_Cryptographers" |
818 "Tests/Stream_Friends" |
818 "Tests/Stream_Friends" |
819 "Tests/TLList_Friends" |
819 "Tests/TLList_Friends" |
820 "Tests/Type_Class" |
820 "Tests/Type_Class" |
821 |
821 |
822 session "HOL-Word" (main timing) in Word = HOL + |
822 session "HOL-Word" (main timing) in Word = HOL + |
823 theories Word |
823 theories |
|
824 Word (global) |
824 document_files "root.bib" "root.tex" |
825 document_files "root.bib" "root.tex" |
825 |
826 |
826 session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" + |
827 session "HOL-Word-Examples" in "Word/Examples" = "HOL-Word" + |
827 options [document = false] |
828 options [document = false] |
828 theories WordExamples |
829 theories WordExamples |
866 "SMT_Word_Examples.certs" |
867 "SMT_Word_Examples.certs" |
867 "VCC_Max.certs" |
868 "VCC_Max.certs" |
868 |
869 |
869 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" + |
870 session "HOL-SPARK" (main) in "SPARK" = "HOL-Word" + |
870 options [document = false] |
871 options [document = false] |
871 theories SPARK |
872 theories |
|
873 SPARK (global) |
872 |
874 |
873 session "HOL-SPARK-Examples" in "SPARK/Examples" = "HOL-SPARK" + |
875 session "HOL-SPARK-Examples" in "SPARK/Examples" = "HOL-SPARK" + |
874 options [document = false, spark_prv = false] |
876 options [document = false, spark_prv = false] |
875 theories |
877 theories |
876 "Gcd/Greatest_Common_Divisor" |
878 "Gcd/Greatest_Common_Divisor" |
1033 *} |
1035 *} |
1034 theories [document = false] |
1036 theories [document = false] |
1035 "~~/src/HOL/Library/Nat_Bijection" |
1037 "~~/src/HOL/Library/Nat_Bijection" |
1036 "~~/src/HOL/Library/Countable" |
1038 "~~/src/HOL/Library/Countable" |
1037 theories |
1039 theories |
1038 HOLCF |
1040 HOLCF (global) |
1039 document_files "root.tex" |
1041 document_files "root.tex" |
1040 |
1042 |
1041 session "HOLCF-Tutorial" in "HOLCF/Tutorial" = HOLCF + |
1043 session "HOLCF-Tutorial" in "HOLCF/Tutorial" = HOLCF + |
1042 theories |
1044 theories |
1043 Domain_ex |
1045 Domain_ex |