changeset 2569 | 3a8604f408c9 |
parent 1479 | 21eb5e156d91 |
2568:f86367e104f5 | 2569:3a8604f408c9 |
---|---|
1 (* |
1 (* |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: Franz Regensburger |
3 Author: Franz Regensburger |
4 Copyright 1993 Technische Universitaet Muenchen |
4 Copyright 1993 Technische Universitaet Muenchen |
5 |
|
6 NOT SUPPORTED ANY MORE. USE HOLCF/ex/Stream.thy INSTEAD. |
|
5 |
7 |
6 Additional constants for stream |
8 Additional constants for stream |
7 *) |
9 *) |
8 |
10 |
9 Stream2 = Stream + |
11 Stream2 = Stream + |