--- a/src/HOL/Library/Library.thy Thu Mar 17 14:48:14 2016 +0100
+++ b/src/HOL/Library/Library.thy Fri Mar 18 08:01:49 2016 +0100
@@ -11,6 +11,7 @@
Code_Test
ContNotDenum
Convex
+ Complete_Partial_Order2
Countable
Countable_Complete_Lattices
Countable_Set_Type