changeset 65379 | 76a96e32bd23 |
parent 62175 | 8ffc4d0e652d |
65378:4bb51e6334ed | 65379:76a96e32bd23 |
---|---|
10 |
10 |
11 text \<open> |
11 text \<open> |
12 Basic HOLCF concepts and types; does not include definition packages. |
12 Basic HOLCF concepts and types; does not include definition packages. |
13 \<close> |
13 \<close> |
14 |
14 |
15 hide_const (open) Filter.principal |
|
16 |
|
17 end |
15 end |