src/HOL/Library/Library.thy
changeset 62692 0701f25fac39
parent 62652 7248d106c607
child 63071 3ca3bc795908
     1.1 --- a/src/HOL/Library/Library.thy	Tue Mar 22 12:39:37 2016 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Mar 22 12:39:37 2016 +0100
     1.3 @@ -5,6 +5,7 @@
     1.4    BigO
     1.5    Bit
     1.6    BNF_Axiomatization
     1.7 +  BNF_Corec
     1.8    Boolean_Algebra
     1.9    Bourbaki_Witt_Fixpoint
    1.10    Char_ord