isabelle: Changelog

krauss [Thu, 12 Apr 2012 23:51:36 +0200] rev 47447

merged

krauss [Thu, 12 Apr 2012 23:15:34 +0200] rev 47446

distributivity of * over Un and UNION

krauss [Thu, 12 Apr 2012 23:07:01 +0200] rev 47445

Set_Algebras: removed syntax \<oplus> and \<otimes>, in favour of plain + and *

krauss [Thu, 12 Apr 2012 22:55:11 +0200] rev 47444

removed "setsum_set", now subsumed by generic setsum

krauss [Thu, 12 Apr 2012 19:58:59 +0200] rev 47443

backported Set_Algebras to use type classes (basically reverting b3e8d5ec721d from 2008)

wenzelm [Thu, 12 Apr 2012 23:04:51 +0200] rev 47442

tuned README;

wenzelm [Thu, 12 Apr 2012 23:03:25 +0200] rev 47441

direct scala toplevel tools to ISABELLE_JDK_HOME;

wenzelm [Thu, 12 Apr 2012 22:59:00 +0200] rev 47440

simplified component structure;

wenzelm [Thu, 12 Apr 2012 19:48:23 +0200] rev 47439

merged

Andreas Lochbihler [Thu, 12 Apr 2012 13:47:21 +0200] rev 47438

merged

isabelle