| changeset 20067 | 26bac504ef90 |
| parent 19896 | 286d950883bc |
| child 20340 | 6afc1c133b86 |
| 20066:b045b835cb3b | 20067:26bac504ef90 |
|---|---|
1 Contributions to Isabelle |
1 Contributions to Isabelle |
2 ------------------------- |
2 ------------------------- |
3 |
|
4 * July 2006: Rafal Kolanski, NICTA |
|
5 Hex (0xFF) and binary (0b1011) numerals. |
|
3 |
6 |
4 * May 2006: Klaus Aehlig, LMU |
7 * May 2006: Klaus Aehlig, LMU |
5 Command 'normal_form': normalization by evaluation. |
8 Command 'normal_form': normalization by evaluation. |
6 |
9 |
7 * May 2006: Amine Chaieb, TUM |
10 * May 2006: Amine Chaieb, TUM |