minor changes due to more powerful continuity check in Lift3.ML
minor changes due to more powerful continuity check in Lift3.ML

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