equal
deleted
inserted
replaced
40 * Discontinued empty name bindings in 'axiomatization'. |
40 * Discontinued empty name bindings in 'axiomatization'. |
41 INCOMPATIBILITY. |
41 INCOMPATIBILITY. |
42 |
42 |
43 |
43 |
44 *** HOL *** |
44 *** HOL *** |
|
45 |
|
46 * Notation "{p:A. P}" now allows tuple patterns as well. |
45 |
47 |
46 * Revised devices for recursive definitions over finite sets: |
48 * Revised devices for recursive definitions over finite sets: |
47 - Only one fundamental fold combinator on finite set remains: |
49 - Only one fundamental fold combinator on finite set remains: |
48 Finite_Set.fold :: ('a => 'b => 'b) => 'b => 'a set => 'b |
50 Finite_Set.fold :: ('a => 'b => 'b) => 'b => 'a set => 'b |
49 This is now identity on infinite sets. |
51 This is now identity on infinite sets. |