| changeset 45990 | b7b905b23b2a |
| parent 45605 | a89b4bc311a5 |
| child 45994 | 38a46e029784 |
--- a/src/HOL/Quotient_Examples/FSet.thy Mon Dec 26 22:17:10 2011 +0100 +++ b/src/HOL/Quotient_Examples/FSet.thy Mon Dec 26 22:17:10 2011 +0100 @@ -6,7 +6,7 @@ *) theory FSet -imports "~~/src/HOL/Library/Quotient_List" "~~/src/HOL/Library/More_List" +imports "~~/src/HOL/Library/Quotient_List" begin text {*