isabelle: Changelog

wenzelm [Thu, 09 Jan 2020 15:45:31 +0100] rev 71360

more Isabelle fonts, notably for File Browser title in GTK L&F;

wenzelm [Thu, 09 Jan 2020 13:47:08 +0100] rev 71359

eliminated deprecated scala.collection.JavaConversions;

wenzelm [Thu, 09 Jan 2020 13:44:16 +0100] rev 71358

unused;

wenzelm [Thu, 09 Jan 2020 13:39:33 +0100] rev 71357

tuned -- more direct java.util.Map.of;

nipkow [Thu, 09 Jan 2020 08:42:01 +0100] rev 71356

added lemma

traytel [Tue, 07 Jan 2020 17:12:54 +0100] rev 71355

merged

traytel [Tue, 07 Jan 2020 14:58:01 +0100] rev 71354

eliminated one redundant proof obligation in lift_bnf for quotients

blanchet [Tue, 07 Jan 2020 14:40:11 +0100] rev 71353

removed experimental option to SPASS

nipkow [Tue, 07 Jan 2020 12:37:12 +0100] rev 71352

alternative deletion in Red-Black trees

nipkow [Tue, 07 Jan 2020 07:03:18 +0100] rev 71351

generalized thm (as suggested by Christian Weinz)

isabelle