וכן יסד רב יהודאי גאון בעל הלכות גדולות. (רש"י מסכת סוכה דף לח עמוד ב )

וכן יסד רב יהודאי גאון בה"ג כדפירש בקונטרס (תוספות מסכת סוכה דף לח עמוד ב )

ובה"ג דרב יהודאי גאון (תוספות מסכת בבא מציעא דף פא עמוד ב )

וכן מצאתי לרב שמעון בעל הלכות גדולות ז"ל (חידושי הרמב"ן מסכת שבת דף קטו עמוד א )

ותמהני על ר' שמעון בעל הלכות גדולות ז"ל שכתב בפסק הלכה (חידושי הרמב"ן מסכת קידושין דף נא עמוד א )

ואחריהם רבי שמעון קיירא שחבר הלכות גדולות והיה בשנת ד' אלפים ותק"א (בית הבחירה למאירי מסכת אבות פתיחה )

וכן פסק רבי שמעון קיירא בעל הלכות ז"ל (בעל המאור מסכת ביצה דף ח עמוד א )

פי' רב שמעון בעל הלכות ז"ל (ר"ן על הרי"ף מסכת חולין דף א עמוד ב )