| changeset 45267 | 66823a0066db |
| parent 43800 | 9959c8732edf |
| child 45319 | 2b002c6b0f7d |
--- a/src/HOL/Quotient_Examples/ROOT.ML Tue Oct 25 16:09:02 2011 +0200 +++ b/src/HOL/Quotient_Examples/ROOT.ML Tue Oct 25 16:37:11 2011 +0200 @@ -4,5 +4,5 @@ Testing the quotient package. *) -use_thys ["DList", "FSet", "Quotient_Int", "Quotient_Message", "Cset", "List_Cset"]; +use_thys ["DList", "FSet", "Quotient_Int", "Quotient_Message", "Quotient_Set", "List_Quotient_Set"];