src/HOL/Library/Library.thy
changeset 61766 507b39df1a57
parent 61178 0b071f72f330
child 62352 35a9e1cbb5b3
     1.1 --- a/src/HOL/Library/Library.thy	Tue Dec 01 12:28:02 2015 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Dec 01 12:35:11 2015 +0100
     1.3 @@ -6,6 +6,7 @@
     1.4    Bit
     1.5    BNF_Axiomatization
     1.6    Boolean_Algebra
     1.7 +  Bourbaki_Witt_Fixpoint
     1.8    Char_ord
     1.9    Code_Test
    1.10    ContNotDenum