答案：C

题目分析：句意：他去了图书馆，不是吗？反义疑问句的基本形式有两种：1、肯定陈述句加简略否定问句,2否定陈述句加简略肯定问句。反义疑问句的疑问部分的谓语动词与陈述部分的时态保持一致，陈述部分用了现在完成时，简略问句也用现在完成时，故选C。