| changeset 36452 | d37c6eed8117 |
| parent 31076 | 99fe356cbbc2 |
| child 39969 | 0b8e19f588a4 |
| 36451:ddc965e172c4 | 36452:d37c6eed8117 |
|---|---|
6 |
6 |
7 theory Adm |
7 theory Adm |
8 imports Cont |
8 imports Cont |
9 begin |
9 begin |
10 |
10 |
11 defaultsort cpo |
11 default_sort cpo |
12 |
12 |
13 subsection {* Definitions *} |
13 subsection {* Definitions *} |
14 |
14 |
15 definition |
15 definition |
16 adm :: "('a::cpo \<Rightarrow> bool) \<Rightarrow> bool" where |
16 adm :: "('a::cpo \<Rightarrow> bool) \<Rightarrow> bool" where |