* added overloaded operations "inverse" and "divide" (infix "/");
* added overloaded operations "inverse" and "divide" (infix "/");

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