《新五代史·司天考一》：“ 唐 建中 时，术者 曹士蔿 始变古法，以 显庆 五年为上元，雨水为岁首，号《符天历》。然世谓之小历，祇行於民间。”