And now that I have managed to prove “invariance of domain”, a significant if not especially famous result. Larry
> On 6 Oct 2016, at 14:08, Makarius <makar...@sketis.net> wrote: > > Definitely. It is probably worth a line to the ANNOUNCE file for > Isabelle2016-1. _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev