[isabelle-dev] Nonstandard Analysis

Makarius makarius at sketis.net
Fri Feb 26 13:30:14 CET 2016


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?


 	Makarius


More information about the isabelle-dev mailing list