src/HOL/Nonstandard_Analysis/HSEQ.thy
2016-12-18 wenzelm 2016-12-18 misc tuning and modernization;
2016-08-02 wenzelm 2016-08-02 support 'abbrevs' within theory header; simplified 'keywords': no abbreviations here;
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;