changeset 41112 | 866148b76247 |
parent 40774 | 0437dbc127b3 |
41111:b497cc48e563 | 41112:866148b76247 |
---|---|
1 theory HOLCF_Library |
1 theory HOLCF_Library |
2 imports |
2 imports |
3 Bool_Discrete |
|
4 Char_Discrete |
|
3 Defl_Bifinite |
5 Defl_Bifinite |
6 Int_Discrete |
|
4 List_Cpo |
7 List_Cpo |
8 List_Predomain |
|
9 Nat_Discrete |
|
10 Option_Cpo |
|
5 Stream |
11 Stream |
6 Sum_Cpo |
12 Sum_Cpo |
7 begin |
13 begin |
8 |
14 |
9 end |
15 end |