Added EfficientNat
authorberghofe
Wed Nov 24 10:30:19 2004 +0100 (2004-11-24)
changeset 15324c27165172e30
parent 15323 6c10fe1c0e17
child 15325 50ac7d2c34c9
Added EfficientNat
src/HOL/Library/Library.thy
     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