《困學紀聞》

曆有小曆，有大曆。唐曹士蔿《七曜符天曆》，一雲《合元萬分曆》，本天竺曆法，以顯慶五年庚申爲曆元，雨水爲歲首，世謂之小曆。行于民間，石晉《調元曆》用之。後周王樸校定大曆，削去符天之學，爲《欽天曆》。