added isolate_Suc to counteract deficiencies in one of Larry's simprocs.
added isolate_Suc to counteract deficiencies in one of Larry's simprocs.

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