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 <makarius at sketis.net> wrote: > > Definitely. It is probably worth a line to the ANNOUNCE file for > Isabelle2016-1.