1.1 --- a/src/HOL/Library/Library.thy	Tue Jul 17 23:11:24 2012 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Tue Jul 17 23:11:27 2012 +0200
     1.3 @@ -12,6 +12,7 @@
     1.4    ContNotDenum
     1.5    Convex
     1.6    Countable
     1.7 +  Dlist
     1.8    Eval_Witness
     1.9    Extended_Nat
    1.10    FinFun