isabelle: Changelog

nipkow [Sat, 29 Dec 2012 17:18:01 +0100] rev 50634

new theory Library/Finite_Lattice

blanchet [Fri, 28 Dec 2012 23:31:51 +0100] rev 50633

tuned ML function name

blanchet [Fri, 28 Dec 2012 21:03:39 +0100] rev 50632

slightly more elegant naming convention (to keep low-level and high-level APIs separated)

blanchet [Fri, 28 Dec 2012 14:13:39 +0100] rev 50631

tuned ML function names

haftmann [Fri, 28 Dec 2012 10:25:59 +0100] rev 50630

code checking for Scala is mandatory, since Scala is now required anyway for Isabelle

haftmann [Fri, 28 Dec 2012 10:15:39 +0100] rev 50629

code checking for Scala is mandatory, since Scala is now required anyway for Isabelle

haftmann [Fri, 28 Dec 2012 09:37:27 +0100] rev 50628

formally corrected

haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 50627

tuned

haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 50626

uniform parentheses for constructor -- necessary to accomodate scala 10

haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 50625

more explicit name

isabelle