Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.4) outside ac.uk; Tue, 6 Apr 1993 18:05:17 +0100
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA28977;
          Tue, 6 Apr 93 09:50:04 -0700
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from infix.cs.ruu.nl by ted.cs.uidaho.edu (16.6/1.34) id AA28972;
          Tue, 6 Apr 93 09:49:55 -0700
Received: by infix.cs.ruu.nl id AA02305 (5.65c/IDA-1.4.4 
          for info-hol@ted.cs.uidaho.edu); Tue, 6 Apr 1993 18:49:41 +0200
From: Wishnu Prasetya <wishnu@nl.ruu.cs>
Message-Id: <199304061649.AA02305@infix.cs.ruu.nl>
Subject: How to STRIP/GEN forall with paired dummy??
To: info-hol@edu.uidaho.cs.ted (hol mailing list)
Date: Tue, 6 Apr 1993 18:49:40 +0100 (METDST)
X-Mailer: ELM [version 2.4 PL21]
Content-Type: text
Content-Length: 131

Hi there!

Can anyone help me as to how to strip or generalize the following goal:

   "!(p,q,r). p ==> (q==>p)"

Thanks.

-Wishnu-