GMP/test/test17.k

	test17.k revision 0810ba457e4ccea5700107013ffbc1a3e8dba103
9f4362a04e0f381642ddf86fd81a43f2b56f1b96Christian Maeder<>([]F)/\<>~[](a1<->a1)/\(x1->T)
89390a303afa9ca380fc9b878cffdd88667fdd25Christian Maeder