Hi, Raul Miller: > On Sat, Nov 16, 2002 at 05:23:13AM +0100, Matthias Urlichs wrote: > > Note that ALL propositions are considered here, not just those > > participating in the Schwartz set. > > Hmm.. that's not what I was trying to say. Thanks. > The reason for this to be a problem is that the dropping step only considers the _innermost_ Schwartz set. There may be more than one, though off-hand I couldn't invent a suitable example -- I'm sure one exists in the literature somewhere, though.
-- Matthias Urlichs | noris network AG | http://smurf.noris.de/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
