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?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
