src/HOL/Nonstandard_Analysis/HTranscendental.thy
7 months ago paulson 2019-04-28 removal of ASCII connectives; some de-applying
11 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
17 months ago paulson 2018-07-10 de-applying, etc.
23 months ago wenzelm 2018-01-16 standardized towards new-style formal comments: isabelle update_comments;
2017-11-26 wenzelm 2017-11-26 more symbols;
2017-11-04 wenzelm 2017-11-04 prefer main entry points of HOL;
2017-08-18 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;