--- a/src/HOL/Library/Library.thy Tue Mar 22 12:39:37 2016 +0100 +++ b/src/HOL/Library/Library.thy Tue Mar 22 12:39:37 2016 +0100 @@ -5,6 +5,7 @@ BigO Bit BNF_Axiomatization + BNF_Corec Boolean_Algebra Bourbaki_Witt_Fixpoint Char_ord