--- a/src/HOL/ROOT Sat Oct 29 00:39:33 2016 +0200
+++ b/src/HOL/ROOT Sun Oct 30 13:15:14 2016 +0100
@@ -38,6 +38,7 @@
Predicate_Compile_Quickcheck
Prefix_Order
Rewrite
+ Types_To_Sets
(*conflicting type class instantiations*)
List_lexord
Sublist_Order