changeset 14981 | e73f8140af78 |
parent 14152 | 12f6f18e7afc |
child 16353 | 94e565ded526 |
14980:267cc670317a | 14981:e73f8140af78 |
---|---|
1 %% |
1 %% |
2 %% Author: Markus Wenzel, TU Muenchen |
2 %% Author: Markus Wenzel, TU Muenchen |
3 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
4 %% |
3 %% |
5 %% definitions of standard Isabelle symbols |
4 %% definitions of standard Isabelle symbols |
6 %% |
5 %% |
7 |
6 |
8 % symbol definitions |
7 % symbol definitions |