src/HOL/Library/Library.thy
changeset 26157 4d9d0a26c32a
parent 26122 76cbf193c09d
child 26170 66e6b967ccf1
     1.1 --- a/src/HOL/Library/Library.thy	Wed Feb 27 14:39:50 2008 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Feb 27 14:39:51 2008 +0100
     1.3 @@ -13,6 +13,7 @@
     1.4    Coinductive_List
     1.5    Commutative_Ring
     1.6    Continuity
     1.7 +  Dense_Linear_Order
     1.8    Efficient_Nat
     1.9    (*Eval*)
    1.10    Eval_Witness