src/HOL/Library/Library.thy
changeset 29823 0ab754d13ccd
parent 29811 026b0f9f579f
child 29836 3d935e8b0bf7
     1.1 --- a/src/HOL/Library/Library.thy	Fri Feb 06 15:15:27 2009 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Feb 06 15:15:32 2009 +0100
     1.3 @@ -15,7 +15,6 @@
     1.4    Continuity
     1.5    ContNotDenum
     1.6    Countable
     1.7 -  Dense_Linear_Order
     1.8    Efficient_Nat
     1.9    Enum
    1.10    Eval_Witness