Question: what is the average total credits in the history department?
SQL: SELECT avg ( tot_cred )  FROM student WHERE dept_name   =   'History'