changeset 10824 | 4a212e635318 |
parent 10823 | 88cb1547d952 |
child 10839 | 1f93f5a27de6 |
10823:88cb1547d952 | 10824:4a212e635318 |
---|---|
1 %% |
1 %% |
2 %% $Id$ |
|
2 %% Author: Markus Wenzel, TU Muenchen |
3 %% Author: Markus Wenzel, TU Muenchen |
3 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
4 %% License: GPL (GNU GENERAL PUBLIC LICENSE) |
4 %% |
5 %% |
5 %% definitions of standard Isabelle symbols |
6 %% definitions of standard Isabelle symbols |
6 %% |
7 %% |