[isabelle-dev] Nonstandard Analysis

Lawrence Paulson lp15 at cam.ac.uk
Fri Feb 26 13:52:55 CET 2016


Or maybe HOL-GCHQ? :-)


> On 26 Feb 2016, at 12:30, Makarius <makarius at sketis.net> wrote:
> The session HOL-NSA contains interesting material that deserves better visibility.
> How about renaming it to HOL-Nonstandard_Analysis, in analogy to HOL-Multivariate_Analysis?

More information about the isabelle-dev mailing list