nipkow [Sat, 29 Dec 2012 17:18:01 +0100] rev 51649
new theory Library/Finite_Lattice
blanchet [Fri, 28 Dec 2012 23:31:51 +0100] rev 51648
tuned ML function name
blanchet [Fri, 28 Dec 2012 21:03:39 +0100] rev 51647
slightly more elegant naming convention (to keep low-level and high-level APIs separated)
blanchet [Fri, 28 Dec 2012 14:13:39 +0100] rev 51646
tuned ML function names
haftmann [Fri, 28 Dec 2012 10:25:59 +0100] rev 51645
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
haftmann [Fri, 28 Dec 2012 10:15:39 +0100] rev 51644
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
haftmann [Fri, 28 Dec 2012 09:37:27 +0100] rev 51643
formally corrected
haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 51642
tuned
haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 51641
uniform parentheses for constructor -- necessary to accomodate scala 10
haftmann [Thu, 27 Dec 2012 21:01:08 +0100] rev 51640
more explicit name