src/HOL/Nonstandard_Analysis/NSA.thy
2016-09-16 wenzelm 2016-09-16 more symbols;
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;