     1.1 --- a/src/HOL/Library/Library.thy	Mon Feb 22 15:53:18 2010 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Feb 22 15:53:18 2010 +0100
     1.3 @@ -15,6 +15,7 @@
     1.4    ContNotDenum
     1.5    Countable
     1.6    Diagonalize
     1.7 +  Dlist
     1.8    Efficient_Nat
     1.9    Enum
    1.10    Eval_Witness
changeset 35303	816e48d60b13
parent 35222	4f1fba00f66d
child 35617	a6528fb99641