| changeset 29145 | b1c6f4563df7 |
| parent 27980 | 5b2c58ab152f |
| child 31779 | 68eccca7f51c |
| 29144:ca186ebbd824 | 29145:b1c6f4563df7 |
|---|---|
1 # $Id$ |
|
2 # Default interpretation of some Isabelle symbols |
1 # Default interpretation of some Isabelle symbols |
3 |
2 |
4 \<zero> code: 0x01d7ec font: Isabelle |
3 \<zero> code: 0x01d7ec font: Isabelle |
5 \<one> code: 0x01d7ed font: Isabelle |
4 \<one> code: 0x01d7ed font: Isabelle |
6 \<two> code: 0x01d7ee font: Isabelle |
5 \<two> code: 0x01d7ee font: Isabelle |