src/HOL/Nonstandard_Analysis/transfer.ML
2016-11-01 wenzelm 2016-11-01 misc tuning and modernization;
2016-10-17 Simon Wimmer 2016-10-17 Modified transfer principle in HOL/NSA to cause less ho-unficiation
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;