--- a/src/HOL/ROOT Fri Dec 28 23:31:51 2012 +0100 +++ b/src/HOL/ROOT Sat Dec 29 17:18:01 2012 +0100 @@ -41,7 +41,7 @@ Sublist List_lexord Sublist_Order - Product_Lattice + Finite_Lattice Code_Char_chr Code_Char_ord Code_Integer