Deleted instance "set :: (type) power" and moved instance "fun :: (type, type) power" to the beginning of the theory
Deleted instance "set :: (type) power" and moved instance
"fun :: (type, type) power" to the beginning of the theory

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle