《新五代史・司天考一》：「唐 建中时，术者曹士蒍始变古法，以显庆五年爲上元，雨水爲岁首，号《符天历》。然世谓之小历，只行於民间。」