changeset 47308 | 9caab698dbe4 |
parent 47232 | e2f0176149d0 |
child 47660 | 7a5c681c0265 |
47307:5e5ca36692b3 | 47308:9caab698dbe4 |
---|---|
3 |
3 |
4 Testing the quotient package. |
4 Testing the quotient package. |
5 *) |
5 *) |
6 |
6 |
7 use_thys ["DList", "FSet", "Quotient_Int", "Quotient_Message", |
7 use_thys ["DList", "FSet", "Quotient_Int", "Quotient_Message", |
8 "Lift_Set", "Lift_RBT", "Lift_Fun", "Quotient_Rat"]; |
8 "Lift_Set", "Lift_RBT", "Lift_Fun", "Quotient_Rat", "Lift_DList"]; |
9 |
9 |