src/HOL/Library/Library.thy
changeset 45748 cf79cc09cab4
parent 45074 04286b0fc856
child 45990 b7b905b23b2a
     1.1 --- a/src/HOL/Library/Library.thy	Sat Dec 03 21:25:34 2011 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Sun Dec 04 13:10:19 2011 +0100
     1.3 @@ -13,7 +13,6 @@
     1.4    Convex
     1.5    Countable
     1.6    Cset_Monad
     1.7 -  Diagonalize
     1.8    Dlist_Cset
     1.9    Eval_Witness
    1.10    Extended_Nat