src/HOL/Nonstandard_Analysis/HyperNat.thy
4 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
18 months ago wenzelm 2017-11-26 more symbols;
2016-11-01 wenzelm 2016-11-01 tuned;
2016-11-01 wenzelm 2016-11-01 misc tuning and modernization;
2016-02-29 wenzelm 2016-02-29 clarified session; tuned headers;