[isabelle-dev] [isabelle] Isabelle2016--1-RC2: Additional name-space pollution via Complex_Main

Makarius makarius at sketis.net
Fri Mar 3 10:28:13 CET 2017

On 27/02/17 18:22, Lawrence Paulson wrote:
> Note: I have no suggestions for improving the star notation of
> non-standard analysis, mentioned in the last paragraph.

Can you point to some literature or papers that use the notation in a
canonical form?


More information about the isabelle-dev mailing list