equal
deleted
inserted
replaced
102 |
102 |
103 * new theory Vimage (inverse image of a function, syntax f-``B); |
103 * new theory Vimage (inverse image of a function, syntax f-``B); |
104 |
104 |
105 * many new identities for unions, intersections, set difference, etc.; |
105 * many new identities for unions, intersections, set difference, etc.; |
106 |
106 |
|
107 |
107 *** ZF *** |
108 *** ZF *** |
108 |
109 |
109 * in let x=t in u(x), neither t nor u(x) has to be an FOL term. |
110 * in let x=t in u(x), neither t nor u(x) has to be an FOL term. |
|
111 |
|
112 |
|
113 *** Internal changes *** |
|
114 |
|
115 * improved the theory data mechanism to support real encapsulation; |
|
116 main change of the internal interfaces: data kind name (string) |
|
117 replaced by private Object.kind, acting as authorization key; |
|
118 |
110 |
119 |
111 |
120 |
112 New in Isabelle98 (January 1998) |
121 New in Isabelle98 (January 1998) |
113 -------------------------------- |
122 -------------------------------- |
114 |
123 |