src/HOL/Nonstandard_Analysis/HSEQ.thy
19 months ago wenzelm 2017-11-04 prefer main entry points of HOL;
22 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
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;