summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

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 |