src/HOL/Nonstandard_Analysis/HDeriv.thy
2016-12-18 wenzelm 2016-12-18 misc tuning and modernization;
2016-11-01 wenzelm 2016-11-01 misc tuning and modernization;
2016-10-16 haftmann 2016-10-16 more standardized names
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;