isabelle: Changelog

eberlm <eberlm@in.tum.de> [Thu, 21 Dec 2017 08:23:19 +0100] rev 67234

Some lemmas on complex numbers and coprimality

nipkow [Wed, 20 Dec 2017 22:07:05 +0100] rev 67233

merged

nipkow [Wed, 20 Dec 2017 21:52:35 +0100] rev 67232

tuned op's

nipkow [Wed, 20 Dec 2017 21:06:08 +0100] rev 67231

tuned op's

nipkow [Wed, 20 Dec 2017 19:17:37 +0100] rev 67230

tuned op's

nipkow [Wed, 20 Dec 2017 14:53:34 +0100] rev 67229

tuned op's

nipkow [Wed, 20 Dec 2017 12:22:36 +0100] rev 67228

tuned op's

wenzelm [Wed, 20 Dec 2017 18:51:13 +0100] rev 67227

updated URL;

wenzelm [Tue, 19 Dec 2017 13:58:12 +0100] rev 67226

isabelle update_cartouches -c -t;

blanchet [Tue, 19 Dec 2017 14:51:27 +0100] rev 67225

have 'try0' display results faster

isabelle