int_diff_cases moved to Integ/IntDef.thy
int_diff_cases moved to Integ/IntDef.thy

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