equal
deleted
inserted
replaced
1 (* Author: Lukas Bulwahn, TU Muenchen *) |
1 (* Author: Lukas Bulwahn, TU Muenchen *) |
2 |
2 |
3 header {* Lazy sequences *} |
3 section {* Lazy sequences *} |
4 |
4 |
5 theory Lazy_Sequence |
5 theory Lazy_Sequence |
6 imports Predicate |
6 imports Predicate |
7 begin |
7 begin |
8 |
8 |