src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Sat Jun 26 20:55:43 2021 +0200
+++ b/src/HOL/Library/Library.thy	Mon Jun 28 20:10:23 2021 +0200
@@ -10,6 +10,7 @@
   Boolean_Algebra
   Bourbaki_Witt_Fixpoint
   Char_ord
+  Code_Cardinality
   Code_Lazy
   Code_Test
   Combine_PER