equal
deleted
inserted
replaced
|
1 (*<*) |
1 theory Test |
2 theory Test |
2 imports "Parser" |
3 imports "Parser" |
3 begin |
4 begin |
4 |
5 |
5 (* This file contains only the examples that are not supposed to work yet. *) |
6 (* This file contains only the examples that are not supposed to work yet. *) |
104 |
105 |
105 (* example 9 from Peter Sewell's bestiary *) |
106 (* example 9 from Peter Sewell's bestiary *) |
106 (* run out of steam at the moment *) |
107 (* run out of steam at the moment *) |
107 |
108 |
108 end |
109 end |
|
110 (*>*) |
109 |
111 |
110 |
112 |
111 |
|