src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Wed Feb 27 14:39:50 2008 +0100
+++ b/src/HOL/Library/Library.thy	Wed Feb 27 14:39:51 2008 +0100
@@ -13,6 +13,7 @@
   Coinductive_List
   Commutative_Ring
   Continuity
+  Dense_Linear_Order
   Efficient_Nat
   (*Eval*)
   Eval_Witness