proofs adjusted to new situation in Int.thy/Presburger.thy
proofs adjusted to new situation in Int.thy/Presburger.thy

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