src/HOL/Nonstandard_Analysis/HSeries.thy
2016-12-18 wenzelm 2016-12-18 misc tuning and modernization;
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-09-19 fleury 2016-09-19 left_distrib ~> distrib_right, right_distrib ~> distrib_left
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;