dining hall vs refectory

dining hall

noun
  • a large room, typically in schools or colleges, where people eat together 

refectory

noun
  • A dining hall, especially in an institution such as a college or monastery. 

How often have the words dining hall and refectory occurred in a corpus of books? (source: Google Ngram Viewer )