| changeset 29145 | b1c6f4563df7 |
| parent 18584 | 0fde75d34f8d |
| child 30820 | 17059c24014d |
| 29144:ca186ebbd824 | 29145:b1c6f4563df7 |
|---|---|
1 %% |
|
2 %% $Id$ |
|
3 %% |
1 %% |
4 %% definitions of standard Isabelle symbols |
2 %% definitions of standard Isabelle symbols |
5 %% |
3 %% |
6 |
4 |
7 \newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb |
5 \newcommand{\isasymzero}{\isamath{\mathbf{0}}} %requires amssymb |