src/HOL/Library/Library.thy
changeset 43146 09f74fda1b1d
parent 43124 fdb7e1d5f762
child 43241 93b1183e43e5
     1.1 --- a/src/HOL/Library/Library.thy	Wed Jun 01 23:08:04 2011 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Jun 02 08:55:08 2011 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4    Convex
     1.5    Countable
     1.6    Diagonalize
     1.7 -  Dlist
     1.8 +  Dlist_Cset
     1.9    Eval_Witness
    1.10    Float
    1.11    Formal_Power_Series