changeset 3275 | 3f53f2c876f4 |
parent 3071 | 981258186b71 |
child 3847 | d5905b98291f |
3274:70939b0fadfb | 3275:3f53f2c876f4 |
---|---|
1 (* Title: HOLCF/IOA/meta_theory/Seq.thy |
1 (* Title: HOLCF/IOA/meta_theory/Seq.thy |
2 ID: |
2 ID: $Id$ |
3 Author: Olaf M"uller |
3 Author: Olaf M"uller |
4 Copyright 1996 TU Muenchen |
4 Copyright 1996 TU Muenchen |
5 |
5 |
6 Partial, Finite and Infinite Sequences (lazy lists), modeled as domain. |
6 Partial, Finite and Infinite Sequences (lazy lists), modeled as domain. |
7 *) |
7 *) |