Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Tue, 13 Oct 1992 17:01:41 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA20306; Tue, 13 Oct 92 08:43:41 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA20301; Tue, 13 Oct 92 08:43:30 -0700 Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) id AA20982; Tue, 13 Oct 92 11:42:18 EDT Date: Tue, 13 Oct 92 11:42:16 EDT From: shb@com.oracorp Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA01572; Tue, 13 Oct 92 11:42:16 EDT Message-Id: <9210131542.AA01572@sparta.oracorp.com> To: info-hol@edu.uidaho.cs.ted Subject: Simple question Is there a one-line, standard-stuff-only tactic for changing the goal x to the goal F and introducing ~x as a new assumption? I'll be very surprised if the answer isn't yes, but I'm tired of trying to figure it out from the manual. Will one of you guys who knows the answer tell it to me? Steve Brackin ORA