equal
deleted
inserted
replaced
1152 text \<open>Misc\<close> |
1152 text \<open>Misc\<close> |
1153 |
1153 |
1154 abbreviation (input) transP :: "('a \<Rightarrow> 'a \<Rightarrow> bool) \<Rightarrow> bool" |
1154 abbreviation (input) transP :: "('a \<Rightarrow> 'a \<Rightarrow> bool) \<Rightarrow> bool" |
1155 where "transP r \<equiv> trans {(x, y). r x y}" (* FIXME drop *) |
1155 where "transP r \<equiv> trans {(x, y). r x y}" (* FIXME drop *) |
1156 |
1156 |
1157 abbreviation (input) "RangeP \<equiv> Rangep" |
|
1158 abbreviation (input) "DomainP \<equiv> Domainp" |
|
1159 |
|
1160 end |
1157 end |