equal
deleted
inserted
replaced
21 |
21 |
22 *** HOL *** |
22 *** HOL *** |
23 |
23 |
24 * Algebra: new theory of rings and univariate polynomials, by Clemens |
24 * Algebra: new theory of rings and univariate polynomials, by Clemens |
25 Ballarin; |
25 Ballarin; |
|
26 |
|
27 * HOL/record: fixed select-update simplification procedure to handle |
|
28 extended records as well; |
26 |
29 |
27 |
30 |
28 |
31 |
29 New in Isabelle99 (October 1999) |
32 New in Isabelle99 (October 1999) |
30 -------------------------------- |
33 -------------------------------- |