--- a/src/HOL/Library/Library.thy Mon Jul 04 19:46:20 2016 +0200
+++ b/src/HOL/Library/Library.thy Mon Jul 04 19:46:20 2016 +0200
@@ -12,6 +12,7 @@
Code_Test
ContNotDenum
Convex
+ Combine_PER
Complete_Partial_Order2
Countable
Countable_Complete_Lattices