src/HOL/Library/Library.thy
changeset 15324 c27165172e30
parent 15140 322485b816ac
child 15470 7e12ad2f6672
     1.1 --- a/src/HOL/Library/Library.thy	Wed Nov 24 10:29:44 2004 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Nov 24 10:30:19 2004 +0100
     1.3 @@ -3,6 +3,7 @@
     1.4  imports
     1.5    Accessible_Part
     1.6    Continuity
     1.7 +  EfficientNat
     1.8    FuncSet
     1.9    List_Prefix
    1.10    Multiset