Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <07116-0@swan.cl.cam.ac.uk>; Fri, 26 Jun 1992 09:56:03 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05343; Fri, 26 Jun 92 01:26:57 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from leopard.cs.uidaho.edu by ted.cs.uidaho.edu (16.6/1.34) id AA05338; Fri, 26 Jun 92 01:26:53 -0700 Received: by leopard.cs.uidaho.edu (16.7/1.34) id AA16902; Fri, 26 Jun 92 01:29:11 -0700 From: weiss@edu.uidaho.cs.leopard (Phil Weiss) Message-Id: <9206260829.AA16902@leopard.cs.uidaho.edu> Subject: Nevermind To: info-hol@edu.uidaho.cs.ted Date: Fri, 26 Jun 92 1:29:10 PDT Mailer: Elm [revision: 66.33] I figured what I needed to do about translating the operations from Z to HOL. Thanks to all who replied. (I should have known what to do. But it's been over 100 degrees F in Idaho the last week, so my mind isn't at its best lately.) Phil. -- Philip Weiss Laboratory for Applied Logic weiss@leopard.cs.uidaho.edu (Disclaimer: My views are not their views) weiss872@snake.cs.uidaho.edu Q: What's brown and sticky? A: A stick.