Path: utzoo!attcan!uunet!munnari.oz.au!uokmax!apple!usc!wuarchive!udel!rochester!uhura.cc.rochester.edu!esht_cif
From: esht_cif@uhura.cc.rochester.edu (Eran)
Newsgroups: comp.sys.mac.apps
Subject: Re: Pagemaker 4.0
Message-ID: <9644@ur-cc.UUCP>
Date: 27 Sep 90 23:36:32 GMT
References: <1990Sep21.032758.10214@ccu.umanitoba.ca> <93uo02LB02ob01@JUTS.ccc.amdahl.com>
Distribution: comp
Organization: University of Rochester, Rochester NY
Lines: 28

From esht_cif Thu Sep 27 19:13:51 1990
Received: by uhura.cc.rochester.edu (4.1/1.15) id AA25139; Thu, 27 Sep 90 19:13:44 EDT
Date: Thu, 27 Sep 90 19:13:44 EDT
From: Mail Delivery Subsystem <MAILER-DAEMON>
Message-Id: <9009272313.AA25139@uhura.cc.rochester.edu>
To: esht_cif
Subject: Returned mail: User unknown
Status: RO

   ----- Transcript of session follows -----
550 comp.sys.mac.apps... User unknown

   ----- Unsent message follows -----
Received: by uhura.cc.rochester.edu (4.1/1.15) id AA25135; Thu, 27 Sep 90 19:13:44 EDT
Date: Thu, 27 Sep 90 19:13:44 EDT
From: Eran <esht_cif>
Message-Id: <9009272313.AA25135@uhura.cc.rochester.edu>
To: comp.sys.mac.apps
Subject: Logic Program


Does anyone out there know of any programs for the mac that can help
with logical proofs-ie. let the user type in the proof, check if they
are valid and then output the proof.  I have heard about a program
like this for the IBM PC but not for the mac.

Eran Shtiegman
Please reply to esht_cif@uhura.cc.rochester.edu