stripped lemma duplicatesrc/HOL/Word/Num_Lemmas.thy
stripped lemma duplicatesrc/HOL/Word/Num_Lemmas.thy

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