home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / sys / amiga / programmer / 1140 < prev    next >
Encoding:
Internet Message Format  |  1996-08-05  |  1.1 KB
  1. Path: comma.rhein.de!serpens!not-for-mail
  2. From: mlelstv@serpens.rhein.de (Michael van Elst)
  3. Newsgroups: comp.sys.amiga.programmer
  4. Subject: Re: PPC compilers
  5. Date: 15 Jan 1996 23:44:07 +0100
  6. Organization: dis-
  7. Message-ID: <4delbn$al3@serpens.rhein.de>
  8. References: <john.hendrikx.40ka@grafix.xs4all.nl> <4b77tq$htp@serpens.rhein.de> <5BoUx*MZe@yaps.rhein.de> <4cpi23$ong@sunsystem5.informatik.tu-muenchen.de> <4cq342$j2l@serpens.rhein.de> <4csvb6$oa6@sunsystem5.informatik.tu-muenchen.de> <4cu1pq$1om@serpens.rhein.de> <DKyzGr.1G0@hermes.hrz.uni-bielefeld.de> <4d1f9e$ctb@serpens.rhein.de> <DL7trD.3t9@hermes.hrz.uni-bielefeld.de>
  9. NNTP-Posting-Host: serpens.rhein.de
  10.  
  11. isthesin@techfak.uni-bielefeld.de (Stephan Thesing) writes:
  12. >|> >|> The precondition is already wrong and so is the claim.
  13. >|> I would ask you to improve your logic.
  14.  
  15. >No improvement needed. You just argued that since the precondition
  16. >is false, the whole claim is false, too. This isn't the case.
  17.  
  18. >|> and so != and therefore.
  19.  
  20. Try again.
  21. -- 
  22.                                 Michael van Elst
  23.  
  24. Internet: mlelstv@serpens.rhein.de
  25.                                 "A potential Snark may lurk in every tree."
  26.