use Inf/Sup_bool_def/apply as code equations
use Inf/Sup_bool_def/apply as code equations

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