Data files for the Differential Calculus module (none needed yet: functions are typed as formulas).
