NEWS
changeset 50634 009a9fdabbad
parent 50616 5b6cf0fbc329
child 50645 cb8f93361e86
     1.1 --- a/NEWS	Fri Dec 28 23:31:51 2012 +0100
     1.2 +++ b/NEWS	Sat Dec 29 17:18:01 2012 +0100
     1.3 @@ -308,6 +308,8 @@
     1.4  
     1.5  * Library/IArray.thy: immutable arrays with code generation.
     1.6  
     1.7 +* Library/Finite_Lattice.thy: theory of finite lattices
     1.8 +
     1.9  * Simproc "finite_Collect" rewrites set comprehensions into pointfree
    1.10  expressions.
    1.11