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

src/HOL/ROOT

changeset 65485 | 8c7bc3a13513 |

parent 65462 | db1827610513 |

child 65509 | ffedb16f382f |

equal
deleted
inserted
replaced

65484:751f9ed8e940 | 65485:8c7bc3a13513 |
---|---|

67 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" + |
67 session "HOL-Analysis-ex" in "Analysis/ex" = "HOL-Analysis" + |

68 theories |
68 theories |

69 Approximations |
69 Approximations |

70 Circle_Area |
70 Circle_Area |

71 |
71 |

72 session "HOL-Computation_Algebra" in "Computational_Algebra" = HOL + |
72 session "HOL-Computational_Algebra" in "Computational_Algebra" = HOL + |

73 theories |
73 theories |

74 Computational_Algebra |
74 Computational_Algebra |

75 (*conflicting type class instantiations and dependent applications*) |
75 (*conflicting type class instantiations and dependent applications*) |

76 Field_as_Ring |
76 Field_as_Ring |

77 Polynomial_Factorial |
77 Polynomial_Factorial |