--- a/src/HOL/Library/Library.thy Thu Mar 14 09:46:04 2019 +0100 +++ b/src/HOL/Library/Library.thy Thu Mar 14 09:46:09 2019 +0100 @@ -23,6 +23,7 @@ Discrete Disjoint_Sets Dlist + Dual_Ordered_Lattice Equipollence Extended Extended_Nat