src/HOL/Library/Library.thy
changeset 60727 53697011b03a
parent 60162 645058aa9d6f
child 61178 0b071f72f330
     1.1 --- a/src/HOL/Library/Library.thy	Wed Jul 15 11:25:51 2015 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Jul 16 10:48:20 2015 +0200
     1.3 @@ -14,6 +14,7 @@
     1.4    Countable_Set_Type
     1.5    Debug
     1.6    Diagonal_Subsequence
     1.7 +  Disjoint_Sets
     1.8    Dlist
     1.9    Extended
    1.10    Extended_Nat