--- a/src/HOL/ROOT Mon May 28 23:15:30 2018 +0100
+++ b/src/HOL/ROOT Tue May 29 14:05:59 2018 +0200
@@ -29,7 +29,7 @@
Library
(*conflicting type class instantiations and dependent applications*)
Finite_Lattice
- List_lexord
+ List_Lexorder
Prefix_Order
Product_Lexorder
Product_Order