summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | wenzelm |

Thu, 29 Aug 2002 16:15:11 +0200 | |

changeset 13549 | f1522b892a4c |

parent 13548 | 36cb5fb8188c |

child 13550 | 5a176b8dda84 |

updated;

--- a/NEWS Thu Aug 29 16:08:32 2002 +0200 +++ b/NEWS Thu Aug 29 16:15:11 2002 +0200 @@ -63,8 +63,18 @@ * simp's arithmetic capabilities have been enhanced a bit: it now takes ~= in premises into account (by performing a case split); -* simp reduces "m*(n div m) + n mod m" to n, even if the two summands are - distributed over a sum of terms. +* simp reduces "m*(n div m) + n mod m" to n, even if the two summands +are distributed over a sum of terms; + +* Real/HahnBanach: updated and adapted to locales; + + +*** ZF *** + +* ZF/Constructible: consistency proof for AC (Gödel's constructible +universe, etc.); + +* Main ZF: many theories converted to new-style format; *** ML ***