changeset 40945 | b8703f63bfb2 |
parent 40774 | 0437dbc127b3 |
child 41429 | cf5f025bc3c7 |
40944:fa22ae64ed85 | 40945:b8703f63bfb2 |
---|---|
1 (* Title: HOLCF/IOA/meta_theory/Sequence.thy |
1 (* Title: HOLCF/IOA/meta_theory/Sequence.thy |
2 Author: Olaf Müller |
2 Author: Olaf Müller |
3 |
3 |
4 Sequences over flat domains with lifted elements. |
4 Sequences over flat domains with lifted elements. |
5 *) |
5 *) |
6 |
6 |
7 theory Sequence |
7 theory Sequence |