equal
deleted
inserted
replaced
110 * 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 |
111 |
112 |
112 |
113 *** Internal changes *** |
113 *** Internal changes *** |
114 |
114 |
115 * improved the theory data mechanism to support real encapsulation; |
115 * improved the theory data mechanism to support encapsulation (data |
116 main change of the internal interfaces: data kind name (string) |
116 kind name replaced by private Object.kind, acting as authorization |
117 replaced by private Object.kind, acting as authorization key; |
117 key); new type-safe user interface via functor TheoryDataFun; |
118 |
118 |
119 |
119 |
120 |
120 |
121 New in Isabelle98 (January 1998) |
121 New in Isabelle98 (January 1998) |
122 -------------------------------- |
122 -------------------------------- |