src/HOL/Library/Library.thy
changeset 69909 5382f5691a11
parent 69790 154cf64e403e
child 70042 45787384ff86
     1.1 --- a/src/HOL/Library/Library.thy	Thu Mar 14 09:46:04 2019 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Mar 14 09:46:09 2019 +0100
     1.3 @@ -23,6 +23,7 @@
     1.4    Discrete
     1.5    Disjoint_Sets
     1.6    Dlist
     1.7 +  Dual_Ordered_Lattice
     1.8    Equipollence
     1.9    Extended
    1.10    Extended_Nat