| changeset 45994 | 38a46e029784 |
| parent 45990 | b7b905b23b2a |
| child 46133 | d9fe85d3d2cd |
--- a/src/HOL/Quotient_Examples/FSet.thy Tue Dec 27 09:15:26 2011 +0100 +++ b/src/HOL/Quotient_Examples/FSet.thy Tue Dec 27 09:45:10 2011 +0100 @@ -6,7 +6,7 @@ *) theory FSet -imports "~~/src/HOL/Library/Quotient_List" +imports "~~/src/HOL/Library/Multiset" "~~/src/HOL/Library/Quotient_List" begin text {*