src/HOL/Nonstandard_Analysis/HTranscendental.thy
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;