isabelle: Changelog

blanchet [Tue, 05 Jul 2016 18:00:21 +0200] rev 63392

avoid reference to invisible theorem, by using another one instead (suggested by Anders Schlichtkrull; the document's author is incomunicado)

blanchet [Tue, 05 Jul 2016 17:52:08 +0200] rev 63391

tuning

blanchet [Tue, 05 Jul 2016 17:52:08 +0200] rev 63390

typo (reported by Anders Schlichtkrull)

hoelzl [Tue, 05 Jul 2016 11:47:49 +0200] rev 63389

simplified proof for measurability of isCont

fleury <Mathias.Fleury@mpi-inf.mpg.de> [Tue, 05 Jul 2016 13:05:04 +0200] rev 63388

instantiate multiset with multiset ordering

Lars Hupel <lars.hupel@mytum.de> [Tue, 05 Jul 2016 10:26:23 +0200] rev 63387

more accurate total timing

Lars Hupel <lars.hupel@mytum.de> [Tue, 05 Jul 2016 09:50:20 +0200] rev 63386

merged

Lars Hupel <lars.hupel@mytum.de> [Mon, 04 Jul 2016 18:20:51 +0200] rev 63385

tuned

wenzelm [Mon, 04 Jul 2016 20:51:04 +0200] rev 63384

merged

wenzelm [Mon, 04 Jul 2016 20:48:55 +0200] rev 63383

NEWS;

isabelle