Change to a single equals sign for isabelle mode