Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 18 Jun 1993 18:22:17 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA00422; Fri, 18 Jun 93 10:12:43 -0700 Sender: info-hol-request@ted.cs.uidaho.edu Errors-To: info-hol-request@ted.cs.uidaho.edu Precedence: bulk Received: from maccs.DCSS.McMaster.CA by ted.cs.uidaho.edu (16.6/1.34) id AA00417; Fri, 18 Jun 93 10:12:31 -0700 Received: by maccs.dcss.mcmaster.ca (/\==/\ Smail3.1.24.1 #24.2) id ; Fri, 18 Jun 93 11:54 EDT Message-Id: Date: Fri, 18 Jun 93 13:14 EDT From: lauer@maccs.dcss.mcmaster.ca (Peter Lauer) To: info-hol@ted.cs.uidaho.edu Subject: IMPS Cc: lauer@maccs.dcss.mcmaster.ca I have been following the discussion between parnas and guttman about the example proofs using IMPS. I am using a number of logic systems, OBJ3, LEGO, NUPRL, HOL, etc. and comparing them with each other, but I was not aware of IMPS. Couls someone please let me know how IMPS is obtainable, and where there are publications on it? Thank you, Peter Lauer Dept. of Computer Science and Systems McMaster University 1280 Main St. West Hamilton, Ontario, L8S 4K1 Canada Tel:(416) 648-1525 e-mail: lauer@maccs.dcss.mcmaster.ca