dear colleagues and friends,
just a short remark to gyuri: maybe what you mention is not a problem
but a case of impredicative definition introduced into our discussion
by john c.?
as christmas is approaching and i feel that we would like to come
through our stuff before the end of this year, i think it's time to
conclude our session and thank all who participated!
wolfgang
**431-58801-18733
Received on Thu Dec 5 08:08:56 2002
This archive was generated by hypermail 2.1.8 : Mon 07 Mar 2005 - 10:24:46 CET