Babylonian Talmud, Tractate Hagigah

תניא אידך ששת ימים תאכל מצות וביום השביעי עצרת לה' מה שביעי עצור אף ששת ימים עצורין אי מה שביעי עצור בכל מלאכה אף ששת ימים עצורין בכל מלאכה ת"ל וביום השביעי עצרת השביעי עצור בכל מלאכה ואין ששה ימים עצורין בכל מלאכה הא לא מסרן הכתוב אלא לחכמים לומר לך אי זה יום אסור ואי זה יום מותר אי זו מלאכה אסורה ואי זו מלאכה מותרתומותרין בהספד ותענית שלא לקיים את דברי האומרין עצרת אחר השבת והאיתמר מעשה ומת אלכסא בלוד ונכנסו כל ישראל לסופדו ולא הניחם רבי טרפון מפני שיום טוב של עצרת היה יו"ט ס"ד אי ביום טוב מי קאתו אלא אימא מפני שיום טבוח היה לא קשיא כאן ביו"ט שחל להיות אחר השבת כאן ביום טוב שחל להיות בשבת