Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually antares9.mcs.anl.gov !OR! lusk@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Sat, 18 Jun 1994 05:35:03 +0100
Received: from scapa.cs.ualberta.ca (scapa.cs.ualberta.ca [129.128.4.44]) 
          by antares.mcs.anl.gov (8.6.4/8.6.4) with SMTP id XAA03761 
          for <qed@mcs.anl.gov>; Fri, 17 Jun 1994 23:31:29 -0500
Received: from sedalia.cs.ualberta.ca by scapa.cs.ualberta.ca id <18656-1>;
          Fri, 17 Jun 1994 22:31:23 -0600
Subject: Re: Examples
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
To: jt@linus.mitre.org (F. Javier Thayer)
Date: Fri, 17 Jun 1994 22:31:07 -0600
Cc: qed@mcs.anl.gov
In-Reply-To: <199406172201.SAA14969@nausicaa.mitre.org> from "F. Javier Thayer" at Jun 17, 94 04:01:07 pm
X-Mailer: ELM [version 2.4 PL23]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Content-Length: 276
Message-Id: <94Jun17.223123-0600.18656-1@scapa.cs.ualberta.ca>


>   I believe I implied that the theorem in Trybulec's example is highly
> non-trivial. I do claim however that one can do rigorous mathematics
> that would appeal to a wider community of individuals with less work.

Could you suggest something?

-- 
Piotr (Peter) Rudnicki