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

author | wenzelm |

Sat, 04 Nov 2006 19:25:36 +0100 | |

changeset 21170 | 01ef0dbd51ae |

parent 21169 | b6a5c98c5e38 |

child 21171 | 7b4fb2a2c75e |

tuned;

--- a/NEWS Sat Nov 04 19:25:34 2006 +0100 +++ b/NEWS Sat Nov 04 19:25:36 2006 +0100 @@ -618,14 +618,14 @@ *** HOL-Algebra *** -* Formalisation of ideals and the quotient construction over rings, contributed - by Stephan Hohe. - -* Order and lattice theory no longer based on records. INCOMPATIBILITY. - -* Method algebra is now set up via an attribute. For examples see CRing.thy. - INCOMPATIBILITY: the method is now weaker on combinations of algebraic - structures. +* Formalisation of ideals and the quotient construction over rings. + +* Order and lattice theory no longer based on records. +INCOMPATIBILITY. + +* Method algebra is now set up via an attribute. For examples see +CRing.thy. INCOMPATIBILITY: the method is now weaker on combinations +of algebraic structures. * Renamed `CRing.thy' to `Ring.thy'. INCOMPATIBILITY.