Renamed mod_XXX_cancel to mod_XXX_self Included their div_ equivalents
Renamed mod_XXX_cancel to mod_XXX_self
Included their div_ equivalents

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