updated "op +", "op -", "op *". "HOL.divide" in src & test

find . -type f -exec sed -i s/"\"op +\""/"\"Groups.plus_class.plus\""/g {} \;
find . -type f -exec sed -i s/"\"op -\""/"\"Groups.minus_class.minus\""/g {} \;
find . -type f -exec sed -i s/"\"op *\""/"\"Groups.times_class.times\""/g {} \;
find . -type f -exec sed -i s/"\"HOL.divide\""/"\"Rings.inverse_class.divide\""/g {} \;

# -*- shell-script -*- :mode=shellscript:

#

# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings

ISABELLE_USEDIR_OPTIONS="-i true -d pdf"

ISABELLE_LOGIC=HOL