--- a/src/HOL/Library/Library.thy Fri May 11 22:59:00 2018 +0200
+++ b/src/HOL/Library/Library.thy Sat May 12 11:24:11 2018 +0200
@@ -10,6 +10,7 @@
Boolean_Algebra
Bourbaki_Witt_Fixpoint
Char_ord
+ Code_Lazy
Code_Test
Combine_PER
Complete_Partial_Order2