src/HOL/Nonstandard_Analysis/HTranscendental.thy
20 months ago wenzelm 2017-11-04 prefer main entry points of HOL;
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;