equal
deleted
inserted
replaced
528 abbreviation "isMinim \<equiv> wo_rel.isMinim" |
528 abbreviation "isMinim \<equiv> wo_rel.isMinim" |
529 abbreviation "minim \<equiv> wo_rel.minim" |
529 abbreviation "minim \<equiv> wo_rel.minim" |
530 abbreviation "max2 \<equiv> wo_rel.max2" |
530 abbreviation "max2 \<equiv> wo_rel.max2" |
531 abbreviation "supr \<equiv> wo_rel.supr" |
531 abbreviation "supr \<equiv> wo_rel.supr" |
532 abbreviation "suc \<equiv> wo_rel.suc" |
532 abbreviation "suc \<equiv> wo_rel.suc" |
533 abbreviation "ofilter \<equiv> wo_rel.ofilter" |
|
534 |
533 |
535 end |
534 end |