replaced separate lemmas seq{1,2,3} with seq_simps
replaced separate lemmas seq{1,2,3} with seq_simps

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