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

ANNOUNCE

changeset 14022 | 3407f1b807ce |

parent 14021 | 24bf519625ab |

child 14023 | 180f01d9df2c |

equal
deleted
inserted
replaced

14021:24bf519625ab | 14022:3407f1b807ce |
---|---|

37 |
37 |

38 * HOL/NumberTheory: added Gauss's law of quadratic reciprocity. (Avigad, |
38 * HOL/NumberTheory: added Gauss's law of quadratic reciprocity. (Avigad, |

39 Gray and Kramer) |
39 Gray and Kramer) |

40 |
40 |

41 * ZF/Constructible: Gödel's proof of the relative consistency of the axiom |
41 * ZF/Constructible: Gödel's proof of the relative consistency of the axiom |

42 of choice is mechanized using Isabelle/ZF, following, Kunen's famous |
42 of choice is mechanized using Isabelle/ZF, following Kunen's well-known |

43 textbook "Set Theory". (Paulson) |
43 textbook "Set Theory". (Paulson) |

44 |
44 |

45 You may get Isabelle2003 from any of the following mirror sites: |
45 You may get Isabelle2003 from the following mirror sites: |

46 |
46 |

47 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ |
47 Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ |

48 Munich (Germany) http://isabelle.in.tum.de/dist/ |
48 Munich (Germany) http://isabelle.in.tum.de/dist/ |