equal
deleted
inserted
replaced
2 Isabelle NEWS -- history of user-visible changes |
2 Isabelle NEWS -- history of user-visible changes |
3 ================================================ |
3 ================================================ |
4 |
4 |
5 New in Isabelle94-8 (really-soon-now 1997 FIXME) |
5 New in Isabelle94-8 (really-soon-now 1997 FIXME) |
6 ------------------------------------------------ |
6 ------------------------------------------------ |
|
7 |
|
8 * added token_translation interface (may translate name tokens in |
|
9 arbitrary ways, dependent on their type (free, bound, tfree, ...)); |
7 |
10 |
8 * HOLCF changes: derived all rules and arities |
11 * HOLCF changes: derived all rules and arities |
9 + axiomatic type classes instead of classes |
12 + axiomatic type classes instead of classes |
10 + typedef instead of faking type definitions |
13 + typedef instead of faking type definitions |
11 + eliminated the initernal constants less_fun, less_cfun, UU_fun, UU_cfun etc. |
14 + eliminated the initernal constants less_fun, less_cfun, UU_fun, UU_cfun etc. |